On the Accepting Power of 2-Tape Büchi Automata

DOI10.1007/11672142_24zbMath1137.03023OpenAlexW2156423097MaRDI QIDQ5449808

Olivier Finkel

Publication date: 19 March 2008

Published in: STACS 2006 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11672142_24

zbMATH Keywords

topological complexityBorel hierarchycomplete setsCantor topologyinfinitary rational relations2-tape Büchi automata

Mathematics Subject Classification ID

Descriptive set theory (03E15) Automata and formal grammars in connection with logical questions (03D05) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05)

Related Items (5)

Incompleteness Theorems, Large Cardinals, and Automata over Infinite Words ⋮ Infinite games specified by 2-tape automata ⋮ On the continuity set of an Omega rational function ⋮ Highly Undecidable Problems For Infinite Computations ⋮ Some problems in automata theory which depend on the models of set theory

This page was built for publication: On the Accepting Power of 2-Tape Büchi Automata