d>
22
-
В
При побудові нормалізованого автомата перехід d = (C i , z j ) вважається невизначеним, якщо для всіх станів цього класу не визначені переходи в інший стан. Якщо хоча б для одного стану класу перехід визначений, то в клітину таблиці нормалізованого автомата заноситься індекс класу, в який переходить цифровий автомат з цього стану. Таким чином, доопределяется невизначені переходи вихідного автомата. Нормалізоване автомат є еквівалентним будь-якого з мінімізованих автоматів і не має, як мінімум, жодної пари сумісних станів. Відповідно до викладеної методикою мінімізації виходять або повністю певні, або часткові нормалізовані автомати.
У повністю певних автоматів клас кінцевої сумісності не перетинаються, тому нормалізоване автомат є єдиним і процес мінімізації цим закінчується. У разі отримання часткового автомата класи i -сумісності перетинаються. Це призводить до того, що нормалізований автомат може описуватися кінцевим кількістю варіантів таблиць чи графів. У разі часткових автоматів часто відмовляються від досягнення абсолютної мінімізації та обмежуються знаходженням нормалізованого автомата і його евристичним довизначенням.
Таблиця станів і виходів нормалізованого автомата
Вх/уклад
G 1
G 2
G 3
G 4
G 5
G 6
G 7
G 8
G 9
G 10
G 11
G 12
G 13
0
G 2 /0
G 3 /0
G 4 /0
G 5 /0
G 10 /0
G 11 /0
G 12 /0
G 13 /0
G 16 /0
G 17 /0
G 18 /0
G 20 /0
G 21 /0
1
G 6 /0
G 7 /0
G 8 /0
G 9 /0
-/-
G 14 /0
-/-
G 15 /0
-/-
-/-
-/-
G 19 /0
-/-
В В В В
В
В
В В
Вх/уклад
G 14
G 15
G 16
G 17
G 18
G 19
G 20
G 21
G 23
G 24
G 25
G 26
В
0
G 23 /0
G 26 /0
G 22 /0
G 1 /0
