C1, D1, E1, F4, F8, F11}}.
Разобьемблок {S, M, S2, S4, F, F1, F2, F5, F6, F9, Err} повходуx7: {{S, M, F, F1, F2, F5, F6, F9, Err}, {A, B, C}, {F3, F7, F10}, {S2, S4}, {D, E}, {A1, B1, C1, D1, E1, F4, F8, F11} }.
Разобьемблок {S, M, S2, S4, F, F1, F2, F5, F6, F9, Err} повходуx7:
{{S, M, F, F1, F2, F5, F6, F9, Err}, {A, B, C}, {F3, F7, F10}, {S2, S4} , {D, E}, {A1, B1, C1, D1, E1, F4, F8, F11}}.
Разобьемблок {S, M, F, F1, F2, F5, F6, F9, Err} повходуx4:
{{S, M, F, F1, F5, F9, Err}, {A, B, C}, {F2, F6}, {F3, F7, F10}, {S2, S4}, {D, E}, {A1, B1, C1, D1, E1, F4, F8, F11}}.
Разобьемблок {S, M, F, F1, F5, F9, Err} повходуx2:
{{S, M, F, F9, Err}, {A, B, C}, {F2, F6}, {F1, F5}, {F3, F7, F10}, { S2, S4}, {D, E}, {A1, B1, C1, D1, E1, F4, F8, F11}}.
Разобьемблок {S, M, F, F9, Err}, виділивши початковий стан і стан помилки:
{{S}, {M, F, F9}, {Err}, {A, B, C}, {F2, F6}, {F1, F5}, {F3, F7, F10}, {S2, S4}, {D, E}, {A1, B1, C1, D1, E1, F4, F8, F11}}.
Подальше розбиття неможливо. Отримані блоки станів можна використовувати для побудови нового автомата, який еквівалентний вихідному, і не містить еквівалентних станів. Для побудови нового автомата, зробимо заміну позначень блоків:
{S} -> A
{M} -> B
{F} -> C
{F9} -> D
{F2, F6} -> E
{F1, F5} -> F
{S2, S4} -> G
{D, E} -> H
{A, B, C} -> I
{F3, F7, F10} -> J
{A1, B1, C1, D1, E1, F4, F8, F11} -> K
{Err} -> L
У відповідності з цими позначеннями ми отримуємо мінімальний автомат, таблиця переходів якого представлена ​​таблицею 5.
Таблиця 5. Таблиця переходів мінімального автомата
Граф переходів мінімального автомата побудований на рис. 4. Для полегшення читан...
