Determinization of ordinal automata

DOI10.1134/S003294601302004XzbMath1276.68095MaRDI QIDQ383176

Andrej A. Muchnik

Publication date: 25 November 2013

Published in: Problems of Information Transmission (Search for Journal in Brave)

zbMATH Keywords

countable ordinalsdeterministic ordinal automatonnondeterministic ordinal automaton

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Theories of automata on \(\omega\)-tapes: a simplified approach
• Weak Second‐Order Arithmetic and Finite Automata
• A combinatorial approach to the theory of ω-automata
• Decision methods in the theory of ordinals
• Testing and generating infinite sequences by a finite automaton

This page was built for publication: Determinization of ordinal automata