We relate the logical and the automata theoretic approach to define sets of words, trees, and graphs. For this purpose a notion of "graph acceptor” is introduced which can specify monadic second-order properties and allows to treat known types of finite automata in a common framework. In the final part of the paper, we discuss infinite graphs that have a decidable monadic second-order theory.
CITATION STYLE
Thomas, W. (1991). On logics, tilings, and automata. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 510 LNCS, pp. 441–454). Springer Verlag. https://doi.org/10.1007/3-540-54233-7_154
Mendeley helps you to discover research relevant for your work.