در نظریه ماشین ها، ماشین مولر نمونه ای از ω-automaton می باشد. شرایط پذیرش، ماشین مولر را از بقیه ماشین های ω جدا می کند. ماشین مولر با استفاده از شرایط پذیرش مولر تعریف شده است. مجموعه ای از تمام حالت های مشاهده شده بی نهایت که اغلب باید یک عنصر از مجموعه پذیرش باشد. هر دو ماشین های مؤلفه های قطعی و غیرقطعی مولر می توانند زبان های منظم ω را تشخیص دهند.
Automata on Infinite Words Slides for a tutorial by Paritosh K. Pandya.
Yde Venema (2008) Lectures on the Modal μ-calculus; the 2006 version was presented at The 18th European Summer School in Logic, Language and Information
آنها بعد از ریاضیدان و دانشمند رایانه آمریکایی نام که در سال ۱۹۶۳ اختراع شدند نام گرفتند.
به طور قراردادی ماشین منظم مولر یک تاپل (A = (Q,Σ,δ,q0,F می باشد که از اطلاعات زیر تشکیل شده است:
Q یک مجموعه محدود است. مؤلفه های Q حالت های A نامیده می شود.
Automata on Infinite Words Slides for a tutorial by Paritosh K. Pandya.
Yde Venema (2008) Lectures on the Modal μ-calculus; the 2006 version was presented at The 18th European Summer School in Logic, Language and Information
آنها بعد از ریاضیدان و دانشمند رایانه آمریکایی نام که در سال ۱۹۶۳ اختراع شدند نام گرفتند.
به طور قراردادی ماشین منظم مولر یک تاپل (A = (Q,Σ,δ,q0,F می باشد که از اطلاعات زیر تشکیل شده است:
Q یک مجموعه محدود است. مؤلفه های Q حالت های A نامیده می شود.
wiki: ماشین مولر