3 research outputs found
Highly Undecidable Problems For Infinite Computations
We show that many classical decision problems about 1-counter
omega-languages, context free omega-languages, or infinitary rational
relations, are -complete, hence located at the second level of the
analytical hierarchy, and "highly undecidable". In particular, the universality
problem, the inclusion problem, the equivalence problem, the determinizability
problem, the complementability problem, and the unambiguity problem are all
-complete for context-free omega-languages or for infinitary rational
relations. Topological and arithmetical properties of 1-counter
omega-languages, context free omega-languages, or infinitary rational
relations, are also highly undecidable. These very surprising results provide
the first examples of highly undecidable problems about the behaviour of very
simple finite machines like 1-counter automata or 2-tape automata.Comment: to appear in RAIRO-Theoretical Informatics and Application
Highly Undecidable Problems about Recognizability by Tiling Systems
to appear in a Special Issue of the journal Fundamenta Informaticae on Machines, Computations and Universality.International audienceAltenbernd, Thomas and Wöhrle have considered acceptance of languages of infinite two-dimensional words (infinite pictures) by finite tiling systems, with usual acceptance conditions, such as the Büchi and Muller ones [1]. It was proved in [9] that it is undecidable whether a Büchi-recognizable language of infinite pictures is E-recognizable (respectively, A-recognizable). We show here that these two decision problems are actually -complete, hence located at the second level of the analytical hierarchy, and ``highly undecidable". We give the exact degree of numerous other undecidable problems for Büchi-recognizable languages of infinite pictures. In particular, the non-emptiness and the infiniteness problems are -complete, and the universality problem, the inclusion problem, the equivalence problem, the determinizability problem, the complementability problem, are all -complete. It is also -complete to determine whether a given Büchi recognizable language of infinite pictures can be accepted row by row using an automaton model over ordinal words of length
Grau de indecidibilidade da universidade para subclasses de automatos temporizados
Orientador: Arnaldo Vieira MouraTese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação CientificaDoutorad