Two-way alternating automata on trees were introduced by Vardi [Va98]. Here we consider alternating two-way automata on graphs and show the decidability of the following problem:,,does a given automaton with the Büchi condition accept any finite graph?” Using this result we demonstrate the decidability of the finite model problem for a certain fragment of the modal μ-calculus with backward modalities.
CITATION STYLE
Bojańczyk, M. (2001). The finite graph problem for two-way alternating automata. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2030, pp. 88–103). Springer Verlag. https://doi.org/10.1007/3-540-45315-6_6
Mendeley helps you to discover research relevant for your work.