یک مقاله در مورد موضوع نام‌برده شده بنویس

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