متن زیر چه موضوعی را مورد بحث قرار داده است؟

متن: در نظریه اتوماتا (به انگلیسی: automata theory) نظریه مک‌ناتون (به انگلیسی: mcnaughton's theorem) اشاره دارد به قضیه‌ای که بیان می‌دارد مجموعه‌ای از زبان‌های ω-منظم برابر خواهد بود با مجموعه‌ای که توسط ماشین مولر (به انگلیسی: muller automata) قطعی تشخیص داده شود. برای اثبات این قضیه الگوریتمی ارائه می‌شود که در آن برای هر زبان ω-منظم یک ماشین مولر قطعی ساخته می‌شود و بالعکس. این قضیه نتایج مهم و متعددی دارد. از آنجایی که ماشین بوچی (به انگلیسی: büchi automaton) و زبان‌های ω-منظم هر دو بیانی از یکدیگر هستند، این قضیه این نتیجه را می‌رساند که ماشین بوچی و ماشین قطعی مولر به‌طور مساوی بیانگر یکدیگر هستند. 
موضوع:
نظريه مك ناتون