# The monadic second-order logic of graphs, II: Infinite graphs of bounded width

Article

- 132 Downloads
- 31 Citations

## Abstract

A countable graph can be considered as the value of a certain infinite expression, represented itself by an infinite tree. We establish that the set of finite or infinite (expression) trees constructed with a finite number of operators, the value of which is a graph satisfying a property expressed in monadic second-order logic, is itself definable in monadic second-order logic. From Rabin's theorem, the emptiness of this set of (expression) trees is decidable. It follows that the monadic second-order theory of an equational graph, or of the set of countable graphs of width less than an integer*m*, is decidable.

## Keywords

Regular System Program Scheme Finite Graph Quotient Graph Infinite Graph
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

## Preview

Unable to display preview. Download preview PDF.

## References

- [1]Bauderon, M., On systems of equations defining infinite graphs,
*Proceedings of the Colloquium on Graph Theoretic Concepts in Computer Science*(*WG'88*), June 1988, Amsterdam, Springer-Verlag, Berlin, to appear.Google Scholar - [2]Bauderon, M., Infinite hypergraphs, in preparation.Google Scholar
- [3]Bauderon, M., and Courcelle, B., Graph expressions and graph rewritings,
*Math. Systems Theory*,**20**(1987), 83–127.CrossRefMathSciNetGoogle Scholar - [4]Courcelle, B., Fundamental properties of infinite trees,
*Theoret. Comput. Sci.*,**25**(1983), 95–169.zbMATHCrossRefMathSciNetGoogle Scholar - [5]Courcelle, B., Equivalences and transformations of regular systems.
*Applications to recursive program schemes, Theoret. Comput. Sci.*,**42**(1986), 1–122.zbMATHMathSciNetGoogle Scholar - [6]Courcelle, B., An axiomatic definition of context-free rewriting, and its application to NLC graph grammars,
*Theoret. Comput. Sci.*,**55**(1987), 141–181.zbMATHCrossRefMathSciNetGoogle Scholar - [7]Courcelle, B., A representation of graphs by algebraic expressions and its use for graph rewriting systems,
*Proceedings of the Third Internal Workshop on Graph Grammars*, Lecture Notes in Computer Science, Vol. 291, Springer-Verlag, Berlin, 1987, pp. 112–132.Google Scholar - [8]Courcelle, B., On context-free sets of graphs and their monadic 2nd-order theory,
*Proceedings of the Third Internal Workshop on Graph Grammars*, Lecture Notes in Computer Science, Vol. 291, Springer-Verlag, Berlin, 1987, pp. 133–146.Google Scholar - [9]Courcelle, B., On using context-free graph grammars for analyzing recursive definitions, in
*Programming of Future Generation Computers, II*(K. Fuchi, L. Kott, eds.), Elsevier, Amsterdam, 1988, pp. 83–122.Google Scholar - [10]Courcelle, B., The monadic second-order logic of graphs, I: Recognizable sets of finite graphs, Report I-8837, submitted.Google Scholar
- [11]Courcelle, B., The monadic second-order logic of graphs, III: Tree-width, forbidden minors and complexity issues, Report I-8852, submitted.Google Scholar
- [12]Courcelle, B., The monadic second-order logic of graphs, IV: Every equational graph is definable, Report I-8830, submitted.Google Scholar
- [13]Courcelle, B., Recursive applicative program schemes, in
*Handbook of Theoretical Computer Science*, J. Van Leeuwen, ed., Elsevier, Amsterdam, to appear.Google Scholar - [14]Doner, J., Tree acceptors and some of their applications,
*J. Comput. System Sci.*,**4**(1970), 406–451.zbMATHCrossRefMathSciNetGoogle Scholar - [15]Goguen, J., Thatcher, J., and Wagner, E., An initial algebra approach to the specification, correctness and implementation of abstract data types, in
*Current Trends in Programming Methodology*, R. Yeh, ed., Prentice-Hall, Englewood Cliffs, NJ, 1978, pp. 80–149.Google Scholar - [16]Goguen, J., Thatcher, J., Wagner, E., and Wright, J., Initial algebra semantics and continuous algebras,
*Assoc. Comput. Mach.*,**24**(1977), 68–95.zbMATHMathSciNetGoogle Scholar - [17]Guessarian, I.,
*Algebraic Semantics*, Lecture Notes in Computer Science, Vol. 99, Springer-Verlag, Berlin, 1981.Google Scholar - [18]Gurevich, Y., Toward logic tailored for computational complexity, in
*Computation and Proof Theory*, M. Richter, ed., Lecture Notes in Mathematics, Vol. 1104, Springer-Verlag, Berlin, 1984, pp. 175–216.CrossRefGoogle Scholar - [19]Muller, D, and Schupp, P., The theory of ends, pushdown automata and second-order logic,
*Theoret. Comput. Sci.*,**37**(1985), 51–75.zbMATHCrossRefMathSciNetGoogle Scholar - [20]Nivat, M., Genealogies, unpublished report, University of Paris 7, 1987.Google Scholar
- [21]Rabin, M., Decidability of 2nd-order theories and automata on infinite trees,
*Trans. Amer. Math. Soc.*,**141**(1969), 1–35.zbMATHCrossRefMathSciNetGoogle Scholar - [22]Rabin, M.,
*Automata on Infinite objects and Church's Problem*, Regional Conference Series in Mathematics, Vol. 13, A.M.S., Providence, RI, 1972.Google Scholar - [23]Seese, D., The structure of the models of decidable monadic theories,
*J. Pure Appl. Logic*, to appear.Google Scholar - [24]Seese, D., Ordered tree-representations of infinite graphs, Preprint, Akademie der DDR, Berlin, East Germany, 1987.Google Scholar
- [25]Trahtenbrot, B., Impossibility of an algorithm for the decision problem on finite classes,
*Dokl. Akad. Nauk. SSSR*,**70**(1950), 569–572.MathSciNetGoogle Scholar

## Copyright information

© Springer-Verlag New York Inc 1988