Page 50 - 4128

Таблиця 2.11 - Автомат Мілі S.
 : A  Z  A
a 1 a 2 a 3 a 4 a 5 a 6

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

 : A  Z  W
a 1 a 2 a 3 a 4 a 5 a 6

z 1 w 1 w 1 w 1 w 1 w 1 w 1
z 2 w 1 w 1 w 2 w 2 w 1 w 1

З таблиці виходів одержуємо розбиття на 1-класи
еквівалентності  1, об'єднуючи в еквівалентні класи B i стан з
однаковими стовпцями:
 1 = {B1, B2}; B2 = {a 1, a 2, a 5, a 6}; B2 = {a 3, a 4}

Таблиця 2.12 - Таблиця 1-розбиття

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

z 1 B 2 B 2 B 1 B 1 B 2 B 2

z 2 B 1 B 1 B 1 B 1 B 1 B 1

Для отримання 2-еквівалентних станів будуємо
таблицю 1-розбиття (табл.2.12), замінюючи в таблиці
переходів стани a 1 відповідними класами еквівалентності B1
або B2.
З одержаної таблиці 1-розбиття одержуємо 2-класи
еквівалентності C i і розбиття  2 = {C1, C2, C3}, де С1 = {a 1,
a 2}, C2 = {a 5, a 6}, C3 = {a 3, a 4}. Порівнюючи  2 і  1,
відзначаємо, що це розбиття відрізняється одне від одного.
49