Theorem 1: for a guidable automaton A, L(A) is J-feasible iff some bound N makes the parity transduction game T^N_J coincide with the acceptance game of A on every tree.
The non-determin istic mostowski hierarchy and distance-parity automata
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
baseline 1
citation-polarity summary
fields
cs.FL 1years
2024 1verdicts
CONDITIONAL 1roles
baseline 1polarities
baseline 1representative citing papers
citing papers explorer
-
Mostowski Index via extended register games
Theorem 1: for a guidable automaton A, L(A) is J-feasible iff some bound N makes the parity transduction game T^N_J coincide with the acceptance game of A on every tree.