Литмир - Электронная Библиотека
Литмир - Электронная Библиотека > GRZEGORZ ROZENBERG (EN) > HANDBOOK OF GRAPH GRAMMARS AND COMPUTING BY GRAPH TRANSFORMATION, VOL 1
HANDBOOK OF GRAPH GRAMMARS AND COMPUTING BY GRAPH TRANSFORMATION, VOL 1
Добавить похожую книгу
Francis Plug – How To Be A Public Author
Автор: Ewen Paul (EN)
Похожа
Непохожа
Yr CMM
Автор: Dahl Roald (EN)
Похожа
Непохожа
Leading Global Projects
Похожа
Непохожа
Winning the Battle to Lose the War?
Похожа
Непохожа
HANDBOOK OF GRAPH GRAMMARS AND COMPUTING BY GRAPH TRANSFORMATION, VOL 1
Author:GRZEGORZ ROZENBERG (EN)
A introductory fragment is available
Language of a book: Английский
Publisher: Gardners Books

    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.Contents:Node Replacement Graph Grammars (J Engelfriet & G Rozenberg)Hyperedge Replacement Graph Grammars (F Drewes et al.)The Expression of Graph Properties and Graph Transformations in Monadic Second-Order Logic (B Courcelle)Algebraic Approaches to Graph Transformation — Part I: Basic Concepts and Double Pushout Approach (A Corradini et al.)Algebraic Approaches to Graph Transformation — Part II: Single Pushout Approach and Comparison with Double Pushout Approach (H Ehrig et al.)2-Structures — A Framework for Decomposition and Transformation of Graphs (A Ehrenfeucht et al.)Programmed Graph Replacement Systems (A Schürr)Readership: Computer scientists and mathematicians.Key Features:It is evidence based, compiled by experienced experts

    Поделиться:
    ]]>Facebook :0]]>  ]]>Twitter :0]]>  ]]>В контакте :0]]>  ]]>Livejournal :0]]>  ]]>Мой мир :0]]>  ]]>Gmail :0]]>  Email :0  ]]>Скачать :0]]>  
    Мой статус книги:
    Чтобы оставить свою оценку и комментарий вам нужно зайти на сайт или зарегистрироваться

    {"b":"500275","o":30}