Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
Results on NLC grammars with one-letter terminal alphabets
Hoffmann J., Main M. Theoretical Computer Science73 (3):279-294,2001.Type:Article
Date Reviewed: Oct 1 1991

The extremely wide applicability of graphs in computer science and elsewhere has insured an ever-growing interest in graph grammars and graph languages. This paper concerns node-label controlled (NLC) graph grammars, introduced by D. Janssens and G. Rozenberg some ten years ago. The application of a rule of an NLC grammar is controlled by a connection relation, which determines how the nodes of its right side are to be connected with the nodes in the neighborhood of the rewritten node. Here the special case of a one-letter terminal node label alphabet is considered.

The first set of results shows that some natural restrictions on the connection relation, which researchers hoped would lead to normal forms of NLC grammars, properly limit the generating power of NLC grammars even in this one-letter case; for larger alphabets this had already been known. Next, some negative closure properties are shown: the class of NLC graph languages is not closed under intersection, complements, dualization, or edge complementation. Finally, the authors prove that restricting derivations to neighborhood-preserving steps yields a family of graph languages incomparable with the family of NLC graph languages. In all cases one-letter examples are given.

Reviewer:  M. Steinby Review #: CR115047
Bookmark and Share
 
Grammar Types (F.4.2 ... )
 
 
Formal Languages (F.4.3 )
 
 
Graph Theory (G.2.2 )
 
Would you recommend this review?
yes
no
Other reviews under "Grammar Types": Date
Recursive queries and context-free graph grammars
Courcelle B. Theoretical Computer Science 78(1): 217-244, 1991. Type: Article
Aug 1 1992
Attribute grammars : definitions, analysis of dependencies, proof methods
Courcelle B. (ed), Cambridge University Press, New York, NY, 1984. Type: Book (9780521268431)
Oct 1 1985
Recursive evaluators for attribute grammars : an implementation
Jourdan M. (ed), Cambridge University Press, New York, NY, 1984. Type: Book (9780521268431)
Jul 1 1985
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy