Ebook: Graph Grammars and Their Application to Computer Science: 4th International Workshop Bremen, Germany, March 5–9, 1990 Proceedings
- Tags: Mathematical Logic and Formal Languages, Software Engineering, Artificial Intelligence (incl. Robotics), Pattern Recognition, Computer Appl. in Life Sciences, Mathematical Biology in General
- Series: Lecture Notes in Computer Science 532
- Year: 1991
- Publisher: Springer-Verlag Berlin Heidelberg
- Edition: 1
- Language: English
- pdf
This volume contains papers selected from the contributions to the 4th International Workshop on Graph Grammars and Their Application to Computer Science. It is intended to provide a rich source of information on the stateof the art and newest trends to researchers active in the area and for scientists who would like to know more about graph grammars. The topics of the papers range from foundations through algorithmic and implemental aspects to various issues that arise in application areas like concurrent computing, functional and logic programming, software engineering, computer graphics, artificial intelligence and biology. The contributing authors are F.-J. Brandenburg, H. Bunke, T.C. Chen, M. Chytil, B. Courcelle, J. Engelfriet, H. G|ttler, A. Habel, D. Janssens, C. Lautemann, B. Mayoh, U. Montanari, M. Nagl, F. Parisi-Presicci, A. Paz, P. Prusinkiewics, M.R. Sleep, A. Rosenfeld, J. Winkowski and others.
This volume contains papers selected from the contributions to the 4th International Workshop on Graph Grammars and Their Application to Computer Science. It is intended to provide a rich source of information on the stateof the art and newest trends to researchers active in the area and for scientists who would like to know more about graph grammars. The topics of the papers range from foundations through algorithmic and implemental aspects to various issues that arise in application areas like concurrent computing, functional and logic programming, software engineering, computer graphics, artificial intelligence and biology. The contributing authors are F.-J. Brandenburg, H. Bunke, T.C. Chen, M. Chytil, B. Courcelle, J. Engelfriet, H. G|ttler, A. Habel, D. Janssens, C. Lautemann, B. Mayoh, U. Montanari, M. Nagl, F. Parisi-Presicci, A. Paz, P. Prusinkiewics, M.R. Sleep, A. Rosenfeld, J. Winkowski and others.
This volume contains papers selected from the contributions to the 4th International Workshop on Graph Grammars and Their Application to Computer Science. It is intended to provide a rich source of information on the stateof the art and newest trends to researchers active in the area and for scientists who would like to know more about graph grammars. The topics of the papers range from foundations through algorithmic and implemental aspects to various issues that arise in application areas like concurrent computing, functional and logic programming, software engineering, computer graphics, artificial intelligence and biology. The contributing authors are F.-J. Brandenburg, H. Bunke, T.C. Chen, M. Chytil, B. Courcelle, J. Engelfriet, H. G|ttler, A. Habel, D. Janssens, C. Lautemann, B. Mayoh, U. Montanari, M. Nagl, F. Parisi-Presicci, A. Paz, P. Prusinkiewics, M.R. Sleep, A. Rosenfeld, J. Winkowski and others.
Content:
Front Matter....Pages -
A note on hyperedge replacement....Pages 1-11
Graph grammars based on node rewriting: an introduction to NLC graph grammars....Pages 12-23
Tutorial introduction to the algebraic approach of graph grammars based on double and single pushouts....Pages 24-37
The logical expression of graph properties....Pages 38-40
Panel discussion: The use of graph grammars in applications....Pages 41-60
GraphEd: An interactive tool for developing graph grammars....Pages 61-65
Presentation of the IPSEN-Environment: An Integrated and Incremental Project Support ENviroment....Pages 66-66
Presentation of the PROGRESS-Editor: A text-oriented hybrid editor for PROgrammed Graph REwriting SyStems....Pages 67-67
PLEXUS: Tools for analyzing graph grammars....Pages 68-69
An algebraic theory of graph reduction....Pages 70-83
Programming with very large graphs....Pages 84-97
Describing G?ttler's operational graph grammars with pushouts....Pages 98-112
General solution to a system of recursive equations on hypergraphs....Pages 113-126
Construction of map OL-systems for developmental sequences of plant cell layers....Pages 127-143
Layout graph grammars: The placement approach....Pages 144-156
Cycle chain code picture languages....Pages 157-173
An efficient implementation of graph grammars based on the RETE matching algorithm....Pages 174-189
An application of graph grammars to the elimination of redundancy from functions defined by schemes....Pages 190-206
Graphic equivalence and computer optimization....Pages 207-220
Graph grammars and logic programming....Pages 221-237
Graphs as relational structures : An algebraic and logical approach....Pages 238-252
Context-free handle-rewriting hypergraph grammars....Pages 253-268
From graph grammars to high level replacement systems....Pages 269-291
Algebraic specification grammars: A junction between module specifications and graph grammars....Pages 292-310
A characterization of context-free NCE graph languages by monadic second-order logic on trees....Pages 311-327
The term generating power of context-free hypergraph grammars....Pages 328-343
Elementary actions on an extended entity-relationship database....Pages 344-362
Physically-based graphical interpretation of marker cellwork L-systems....Pages 363-377
Dactl: An experimental graph rewriting language....Pages 378-395
Use graph grammars to design CAD-systems !....Pages 396-410
Collage grammars....Pages 411-429
The four musicians: analogies and expert systems — a graphic approach....Pages 430-445
Structured transformations and computation graphs for actor grammars....Pages 446-460
Grammatical inference based on hyperedge replacement....Pages 461-474
Graph rewriting in some categories of partial morphisms....Pages 475-489
Application of graph grammars to rule-based systems....Pages 490-504
Tree automata, tree decomposition and hyperedge replacement....Pages 505-519
Recognizing rooted context-free flowgraph languages in polynomial time....Pages 520-537
Computing with graph relabelling systems with priorities....Pages 538-548
Double-wall cellwork systems for plant meristems....Pages 549-563
Programmed derivations of relational structures....Pages 564-581
A specification environment for graph grammars....Pages 582-598
The theory of graphoids: A survey....Pages 599-609
Graph-reducible term rewriting systems....Pages 610-621
A note on graph decimation....Pages 622-636
Progress: A VHL-language based on graph grammars....Pages 637-640
Movement of objects in configuration spaces modelled by graph grammars....Pages 641-659
Recognizing edge replacement graph languages in cubic time....Pages 660-675
Computing by graph transformation: Overall aims and new results....Pages 676-687
....Pages 688-703