умова наступності: для всіх вхідних символів стану S і T повинні переходити в еквівалентні стану, тобто їх наступники еквівалентні.
Спочатку стану розбиваються на 2 блоки. Один містить тільки допускають, інший - що відкидають. Очевидно, ніяке з станів 1-го блоку не еквівалентно жодному станом другого блоку, що випливає з умови подібності. Потім відбувається розбиття цих блоків на більш дрібні за наступним алгоритмом:
). Якщо під дією якого-небудь вхідного символу якась частина станів даного блоку переходить в стану з іншого блоку, що порушує умову наступності, то необхідно розбити даний блок на частини так, щоб не порушувалося в одному блоці умова наступності. p align="justify">). Необхідно повторювати крок 1 до тих пір, поки подальше розбиття неможливо. p align="justify">). За один раз можна розбити тільки один блок. p align="justify"> Позначимо {S1, S3} як {M}.
Поділимо на групи допускають, недопускати станів:
{{S, M, S2, S4, A, B, C, D, E, F, F1, F2, F3, F5, F6, F7, F9, F10, Err}, { A1, B1, C1, D1, E1, F4, F8, F11}}.
Розіб'ємо {S, M, S2, S4, A, B, C, D, E, F, F1, F2, F3, F5, F6, F7, F9, F10, Err} по входу x4:
{{S, M, S2, S4, D, E, F, F1, F2, F3, F5, F6, F7, F9, F10, Err}, {A, B, C} , {A1, B1, C1, D1, E1, F4, F8, F11}}.
Розіб'ємо блок {S, M, S2, S4, D, E, F, F1, F2, F3, F5, F6, F7, F9, F10, Err} по входу x5:
{{S, M, S2, S4, D, E, F, F1, F2, F5, F6, F9, Err}, {A, B, C}, {F3, F7, F10}, {A1, B1, C1, D1, E1, F4, F8, F11}}.
Розіб'ємо блок {S, M, S2, S4, D, E, F, F1, F2, F5, F6, F9, Err} по входу x5:
{{S, M, S2, S4, F, F1, F2, F5, F6, F9, Err}, {A, B, C}, {F3, F7, F10},
{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, 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}, виділивши початковий стан і стан помилки...
