عنوان

Handbook of graph grammars and computing by graph transformation.

0585451435

1281869589

9780585451435

9781281869586

9789812384720

9812384723

9789810228842

9810228848

b796889

Handbook of graph grammars and computing by graph transformation.

[Book]

edited by Grzegorz Rozenberg.

Volume 1,dollar5Foundations /

New Jersey :

World Scientific,

©1997.

1 online resource (xv, 553 pages) :

illustrations

Includes bibliographical references (pages 541-546) and indexes.

1. Node replacement graph grammars / J. Engelfriet, G. Rozenberg -- 2. Hyperedge replacement graph grammars / F. Drewes, H.-J. Kreowski, A. Habel -- 3. Algebraic approaches to graph transformation -- part I: basic concepts and double pushout approach / A. Corradini [and others] -- 4. Algebraic approaches to graph transformation -- part II: single pushout approach and comparison with double pushout approach / H. Ehrig [and others] -- 5. The expression of graph properties and graph transformations in monadic second-order logic / B. Courcelle -- 6. 2-structures -- a framework for decomposition and transformation of graphs / A. Ehrenfeucht, T. Harju, G. Rozenberg -- 7. Programmed graph replacement systems / A. Schurr.

0

Graph grammars originated in the late 60s, motivated by considerations about pattern recognition and compiler construction. Since then the list of areas which have interacted with the development of graph grammars has grown quite impressively. Besides the aforementioned areas it includes software specification and development, VLSI layout schemes, database design, modeling of concurrent systems, massively parallel computer architectures, logic programming, computer animation, developmental biology, music composition, visual languages, and many others. The area of graph grammars and graph transformations generalizes formal language theory based on strings and the theory of term rewriting based on trees. As a matter of fact within the area of graph grammars, graph transformation is considered a fundamental programming paradigm where computation includes specification, programming, and implementation. Over the last 25-odd years graph grammars have developed at a steady pace into a theoretically attractive and well-motivated research field. In particular, they are now based on very solid foundations, which are presented in this volume. Volume 1 of the indispensable Handbook of Graph Grammars and Computing by Graph Transformations includes a state-of-the-art presentation of the foundations of all the basic approaches to rule-based graph specification and transformation: algebraic approach, logic approach, node-based rewriting, (hyper)edge-based rewriting, programmed graph rewriting, and 2-structures. The book has been written in a tutorial/survey style to enhance its usefulness.

Handbook of graph grammars and computing by graph transformation. Volume 1, Foundations.

9810228848

Foundations

Graph grammars, Handbooks, manuals, etc.

Graph theory-- Data processing.

Graph grammars.

Graph theory-- Data processing.

MATHEMATICS-- Graphic Methods.

MAT-- 013000

MBNH

Rozenberg, Grzegorz.

20201207094143.0

pn

[Book]

Y