An example of \(\boldsymbol{\Pi}_3^0\)-complete infinitary rational relation

zbMath1123.68058MaRDI QIDQ2642354

Olivier Finkel

Publication date: 20 August 2007

Published in: Computer Science Journal of Moldova (Search for Journal in Brave)

zbMATH Keywords

Borel hierarchy2-tape Büchi automaton

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Descriptive set theory (03E15) Automata and formal grammars in connection with logical questions (03D05)

This page was built for publication: An example of \(\boldsymbol{\Pi}_3^0\)-complete infinitary rational relation