Page 51 - 4128

Тому аналогічно будуємо таблицю 2-розбиття (табл. 2.13),
знову замінюючи в таблиці переходів стани a i відповідними
класами еквівалентності Ci.
Таблиця 2.13 - Таблиця 2-розбиття

C 1 C 2 C 3

a 1 a 2 a 5 a 6 a 3 a 4

z 1 C 3 C 3 C 2 C 2 C 3 C 3
z 2 C 2 C 2 C 1 C 1 C 2 C 2

З одержаної таблиці 2-розбиття одержуємо 3-класи
еквівалентності D i і розбиття  3 ={D1, D2, D3}, де D1 = {a 1,
a 2}, D2 = {a 5, a 6}, D3 = {a 3, a 4}.
Порівнюючи  3 і  2, помічаємо, що D1 = C1, D2 = C2,
D3 = C3,  3 =  3. Отже, одержано розбиття на - еквівалентні
класи. Оскільки всього три такі класи, то мінімальний автомат
міститиме всього три стани. Вибираємо з кожного класу D i по
одному стану і одержуємо безліч станів А' мінімального
автомата. Хай, наприклад, A'={a 1, a 4, a 5}. Для отримання
мінімального автомата з первинних таблиць переходів і
виходів (табл. 2.11) викреслюємо стовпці, відповідні "зайвим
станам" a 2, a 3, a 6. В результаті виходить мінімальний автомат
Мілі, еквівалентний початковому автомату (табл. 2.14).

Талиця 2.14 - Таблиці переходів і виходів мінімізованого
автомата

 : A  Z  A
а 1 а 4 а 5
z 1 а 4 а 4 а 5
z 2 а 5 а 5 а 1

50