Efficient Graph Rewriting and Its Implementation

این کتاب دو نتیجه تحقیقاتی عمده را در مورد اجرای سریع سیستم‌های بازنویسی نمودار (GRS) ارائه می‌کند. ابتدا، کلاس UBS-GRS را بررسی می کند، که در آن پیچیدگی یک مرحله بازنویسی به جای NP خطی است، به عنوان مثال نشان می دهد که برنامه نویسی بصری با بازنویسی نمودار UBS امکان پذیر است. دوم، یک ماشین انتزاعی برای بازنویسی گراف تعریف می‌شود که مجموعه دستورالعمل‌های کافی برای اجرای GRS را ارائه می‌کند.
تعریف اساسی GRS در رویکرد الگوریتمی توسط ساختارهای اسناد و کنترل معرفی و گسترش می‌یابد تا فرمالیسمی را برای یک مشخصات عملیاتی تشکیل دهد. . ترجمه یک زبان برنامه نویسی کاربردی به بازنویسی نمودار قابلیت های UBS-GRS را نشان می دهد.

This book presents two major research results on the fast implementation of graph rewriting systems (GRS). First, it explores the class of so-called UBS-GRS, where the complexity of a rewriting step is linear instead of NP, showing for example that visual programming is possible by UBS graph rewriting. Second, an abstract machine for graph rewriting is defined providing an instruction set sufficient for the execution of GRS.
The basic definitions of GRS in the algorithmic approach are introduced and extended by attribution and control structures to comprise a formalism for an operational specification. The translation of a functional programming language to graph rewriting shows the capabilities of UBS-GRS.