Deciding Nondeterministic Hierarchy of Deterministic Tree Automata

Damian Niwiński, Igor Walukiewicz
2005 Electronical Notes in Theoretical Computer Science  
We show an algorithm which, for a given deterministic parity automaton on infinite trees, computes the minimal Mostowski (or Rabin) index of a nondeterministic automaton recognizing the same language. This extends a previous result of Urbański on deciding if a given deterministic Rabin automaton is equivalent to a nondeterministic Büchi automaton. The algorithm runs in the time of verifying the non-emptiness of nondeterministic parity automata.
doi:10.1016/j.entcs.2004.05.015 fatcat:ibltgknkdfgxxihbuxztmbqity