Abstract
The algebraic framework for studying graphs yields a notion of system of equations defining equational sets of graphs. Context-free graph grammars (where the rewriting step is the substitution a graph for an hyperedge) are defined. The context-free and the equational sets of graphs are the same. The monadic second-order theory of a context-free set of graphs is decidable.
Electronic mail address (UUCP) : mcvax!inria!geocub!courcell
Note : This work has been supported by the "Projet de Recherches Coordonnées" : " Mathématiques et Informatique" of CNRS.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
J.R. BUCHI, Weak 2nd order logic and finite automata, Z. Math Logik 5(960) 66–92.
B. COURCELLE, A representation of graphs by algebraic expressions and its use for graph rewriting systems, this volume.
B. COURCELLE, An axiomatic definition of context-free rewriting and its application to NLC grammars, Report 8706, Bordeaux 1 University, 1987.
J.DONER, Tree acceptors and applications. Jour. Comput. System Sci. 4(70) 406–451
J.W. THATCHER, J.B. WRIGHT, Generalized automata theory, Maths Systems Theory 2 (1970) 57–81
P. SEYMOUR, N. ROBERTSON, Some new results on the well quasiordering of graphs, Annals of Discrete Maths 23 (1984) 343–354.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Courcelle, B. (1987). On context-free sets of graphs and their monadic second-order theory. In: Ehrig, H., Nagl, M., Rozenberg, G., Rosenfeld, A. (eds) Graph-Grammars and Their Application to Computer Science. Graph Grammars 1986. Lecture Notes in Computer Science, vol 291. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18771-5_50
Download citation
DOI: https://doi.org/10.1007/3-540-18771-5_50
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18771-4
Online ISBN: 978-3-540-48178-2
eBook Packages: Springer Book Archive