On infinite terms having a decidable monadic theory

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2420, Issue , 2002, Pages 165-176

  Caucal, Didier ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

FIRST ORDER; HIGHER-ORDER; INFINITE WORD; LEVEL 2; MORPHIC; SECOND-ORDER SUBSTITUTION;

COMPUTABILITY AND DECIDABILITY;

EID: 84957018140     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45687-2_13     Document Type: Conference Paper

References (28)

1. K. Barthelmann, When can an equational simple graph be generated by hyperedge replacement, 23rd MFCS, LNCS 1450, L. Brim, J. Gruska, J. Zlatuska (Eds.), 543–552 (1998).
2. A. Blumensath, Axiomatising tree-interpretable structures, 19th STACS, LNCS 2285, H. Alt, A. Ferreira (Eds.), 596–607 (2002).
3. O. Carton and W. Thomas, The monadic theory of morphic infinite words and generalizations, 25th MFCS, LNCS 1893, M. Nielsen and B. Rovan (Eds.), 275–284 (2000).
4. D. Caucal, On the regular structure of prefix rewriting, 15th CAAP, LNCS 431, A. Arnold (Ed.), 87–102 (1990) [a full version is in Theoretical Computer Science 106, 61–86 (1992)].
5. D. Caucal, On infinite transition graphs having a decidable monadic theory, 23rd ICALP, LNCS 1099, F. Meyer auf der Heide, B. Monien (Eds.), 194–205 (1996) [a full version will appear in Theoretical Computer Science].
6. D. Caucal and T. Knapik, An internal presentation of regular graphs by prefix-recognizable ones, Theory of Computing Systems 34-4 (2001).
7. B. Courcelle, Fundamental properties of infinite trees, Theoretical Computer Science 25, 95–169 (1983).
8. B. Courcelle, Graph rewriting: an algebraic and logic approach, Handbook of Theoretical Computer Science Vol. B, J. Leeuwen (Ed.), Elsevier, 193–242 (1990).
9. B. Courcelle, Recursive applicative program schemes, Handbook of Theoretical Computer Science Vol. B, J. Leeuwen (Ed.), Elsevier, 459–492 (1990).
10. B. Courcelle, Monadic second-order definable graph transductions: a survey, Theoretical Computer Science 126, 53–75 (1994).
11. B. Courcelle and T. Knapik, The evaluation of first-order substitution is monadic second-order compatible, to appear in Theoretical Computer Science (2002).
12. B. Courcelle and I. Walukiewicz, Monadic second-order logic, graph coverings and unfoldings of transition systems, Annals of Pure and Applied Logic 92, 35–62 (1998).
13. W. Damm, The IO and OI hierarchies, Theoretical Computer Science 20 (2), 95–208 (1982).
14. J. Engelfriet, Iterated push-down automata and complexity classes, 15th STOC, 365–373 (1983).
15. I. Guessarian, Algebraic semantics, LNCS 99, Sringer Verlag, (1981).
16. K. Indermark, Schemes with recursion on higher types, 5th MFCS, LNCS 45, A. Mazurkiewicz (Ed.), 352–358 (1976).
17. T. Knapik, D. Niwiński and P. Urzyczyn, Deciding monadic theories of hyperalgebraic trees, 5th International Conference on Typed Lambda Calculi and Applications, LNCS 2044, Abramsky (Ed.), 253–267 (2001).
18. T. Knapik, D. Niwiński and P. Urzyczyn, Higher-order pushdown trees are easy, 5th FOSSACS, toapp ear in LNCS, M. Nielsen (Ed.), (2002).
19. O. Kupferman and M. Vardi, An automata-theoretic approach to reasoning about infinite-state systems, 12th CAV, LNCS 1855, A. Emerson, P. Sistla (Eds.), 36–52 (2000).
20. S. La Torre and M. Napoli, Automata-based representations for infinite graphs, Theoretical Informatics and Applications 35, 311–330 (2001).
21. D. Muller and P. Schupp, The theory of ends, pushdown automata, and second-order logic, Theoretical Computer Science 37, 51–75 (1985).
22. M. Nivat, On the interpretation of polyadic recursive schemes, Symposia Mathematica 15, Academic Press (1975).
23. M. Rabin, Decidability of second-order theories and automata on infinite trees, Transactions of the American Mathematical Society 141, 1–35 (1969).
24. A. Semenov, Decidability of monadic theories, MFCS 84, LNCS 176, W. Brauer (Ed.), 162–175 (1984).
25. G. Sénizergues, The equivalence problem for deterministic pushdown automata is decidable, 24th ICALP, LNCS 1256, P. Degano, R. Gorrieri, A. Marchetti-Spaccamela (Eds.), 671–681 (1997).
26. W. Thomas, Automata on infinite objects, Handbook of Theoretical Computer Science Vol. B, J. Leeuwen (Ed.), Elsevier, 135–191 (1990).
27. W. Thomas, Languages, automata, and logic, Handbook of Formal Languages, Vol. 3, G. Rozenberg, A. Salomaa (Eds.), Springer, 389–456 (1997).
28. J. Tiuryn, Higher-order arrays and stacks in programming: An application of complexity theory to logics of programs, 12th MFCS, LNCS 233, J. Gruska, B. Rovan, J. Wiedermann (Eds.), 177–198 (1986).