Determinization of ordinal automata
type: Item
instance of: scholarly article
title: Determinization of ordinal automata
zbMATH Open document ID: 1276.68095
DOI: 10.1134/S003294601302004X
published in: Problems of Information Transmission
publication date: 2013-11-25T00:00:00Z
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 6232257
zbMATH Keywords: nondeterministic ordinal automaton
zbMATH Keywords: deterministic ordinal automaton
zbMATH Keywords: countable ordinals
author: Andrej Muchnik
MaRDI profile type: Publication
cites work: Q5541339
cites work: Weak Second‐Order Arithmetic and Finite Automata
cites work: Testing and generating infinite sequences by a finite automaton
cites work: Q4074888
cites work: Q4079524
cites work: Theories of automata on \(\omega\)-tapes: a simplified approach
cites work: A combinatorial approach to the theory of ω-automata
cites work: Decision methods in the theory of ordinals
cites work: Q3838998
Recommended article: Finite automata and ordinals
Recommended article: Automata on Ordinals and Linear Orders
Recommended article: Ordinal automata and Cantor normal form
Recommended article: Automata on ordinals and automaticity of linear orders
Recommended article: Determinization of Büchi-Automata
Recommended article: On varieties of ordered automata
Recommended article: DETERMINISTIC AUTOMATA AND THE MONADIC THEORY OF ORDINALS < ω2
Recommended article: Determinization of logical specifications of automata
Recommended article: Q3791368
Recommended article: A note on ordinal DFAs
description: scientific article; zbMATH DE number 6232257