Машина Мілі визначається як машина в теорії обчислень, вихідні значення якої визначаються як її поточним станом, так і поточними входами. У цій машині можливий не більше одного переходу.
Він має 6 кортежів: (Q, q0, ∑, ▲, δ, λ’)
- Q — скінченна множина станів
- q0 – початковий стан
- ∑ — алфавіт введення
- ▲ — вихідний алфавіт
- δ — функція переходу, яка відображає Q×∑ → Q
- ‘λ’ — вихідна функція, яка відображає Q×∑→ ▲
Передумова – Машини Мілі та Мура
Діаграма має такий вигляд:
Машина Мура:
Машина Мура визначається як машина в теорії обчислень, вихідні значення якої визначаються лише її поточним станом. Він також має 6 кортежів
(Q, q0, ∑, ▲, δ, λ)>
- Q — скінченна множина станів
- q0 – початковий стан
- ∑ — алфавіт введення
- ▲ — вихідний алфавіт
- δ — функція переходу, яка відображає Q×∑ → Q
- λ є вихідною функцією, яка відображає Q → ▲
Діаграма:
Різниця між машиною Мілі та машиною Мура полягає в наступному:
| Машина Мура | Машина Мілі |
| Вихід залежить тільки від поточного стану. | Вихід залежить від поточного стану, а також поточного входу. |
| Машина Мура також розміщує свій вихід на переході. | Mealy Machine розміщує свій вихід на переході. |
| Потрібно більше станів. | Потрібна менша кількість станів. |
| Існує менше вимог до апаратного забезпечення для реалізації схеми. | Існує більше вимог до апаратного забезпечення для реалізації схеми. |
| Вони повільніше реагують на вхідні дані (на один такт пізніше). | Вони швидше реагують на вхідні дані. |
| Синхронний вихід і генерація стану. | Генерація асинхронного виводу. |
| Вихід поміщається в стани. | Вихід розміщується на переходах. |
| Легко проектувати. | Складно проектувати. |
| Якщо вхід змінюється, вихід не змінюється | Якщо вхід змінюється, вихід також змінюється. |
| Має більше або ті самі стани, що й машина Мілі. | Має менше або такі ж стани, як у машини Мура. |