On Minimization and Learning of Deterministic $\omega$-Automata in the Presence of Don't Care Words

Christof Löding, Max Philip Stachon

We study minimization problems for deterministic $\omega$-automata in the presence of don't care words. We prove that the number of priorities in deterministic parity automata can be ef…