Report - The McNaughton Theoremrichmodels.epfl.ch/_media/w1_fri.pdfMcNaughton Theorem Theorem 1 Let Σ be an alphabet. Any recognizable subset of Σω can be recognized by a Rabin automaton.

Please pass captcha verification before submit form