Неопределённые переходы заменим переходом на первое состояние, а на выход будем подавать нуль. Далее при кодировании первое состояние закодируем нулями, таким образом, получим более простой автомат.
Таблица переходов и выходов минимизированного автомата Мили, доопределенные состояния отмечены курсивом:
|
F1
|
F2
|
F3
|
F4
|
F5
|
F6
|
F7
|
F8
|
F9
|
F10
|
F11
|
0
|
F2/0
|
F4/0
|
F1/0
|
F8/0
|
F17/1
|
F11/0
|
F15/1
|
F9/0
|
F13/0
|
F14/0
|
F23/1
|
1
|
F6/0
|
F5/0
|
F23/0
|
F10/0
|
F19/1
|
F18/1
|
F24/1
|
F3/0
|
F3/0
|
F3/0
|
F8/0
|
F12
|
F13
|
F14
|
F15
|
F16
|
F17
|
F18
|
F19
|
F20
|
F21
|
F22
|
F23
|
F24
|
F7/0
|
F3/0
|
F16/1
|
F17/1
|
F3/1
|
F9/0
|
F10/0
|
F14/0
|
F13/0
|
F20/1
|
F16/1
|
F22/1
|
F23/1
|
F3/0
|
F3/0
|
F3/0
|
F21/1
|
F3/0
|
F3/0
|
F3/0
|
F3/0
|
F3/0
|
F3/0
|
F3/0
|
F3/0
|
F3/0
|
Все состояния полученного автомата являются достижимыми. По итогам минимизации построим граф полученного автомата.
Граф минимизированного цифрового автомата Мили
|
Скачать 1.34 Mb.