span align="justify">? -d6d13/0d14/ ? Як видно таблиця 1.4.3 є остаточною на даному етапі мінімізації. Тепер можна перйті до наступного етапу - мінімізації за допомогою трикутної таблиці. br/>
.4.2 МІНІМІЗАЦІЯ З допомогою трикутного ТАБЛИЦІ
Складемо трикутну таблицю (малюнок 1.4.2), керуючись такими правилами:
) рядка таблиці обзначаются станами d1, d2, ..., dn-1, а стовпці d0, d1, ..., dn-2, де n - число станів абстрактного автомата;
) на перетині i-того рядка і j-того стовпця записуються умови, за яких можливе об'єднання станів di і dj; якщо стану не можна об'єднати ні за яких умов, ставиться знак "х"; якщо вони об'єднуються безумовно, то ставиться знак "v"; остаточне об'єднання станів визначається на основі несуперечності умов.
Випишемо з таблиці пари еквівалентних станів:
(0, 15) (1, 15) (2, 15) (3, 15) (4, 15) (5, 15) (6, 15) (7, 15) (8 , 15) (9, 15) (0, 16) (1, 16) (2, 16) (3, 16) (4, 16) (5, 16) (6, 16) (7, 16) (8 , 16) (9, 16) (0, 17) (1, 17) (2, 17) (3, 17) (4, 17) (5, 17) (6, 17) (7, 17) (8 , 17) (9, 17) (0, 18) (1, 18) (2, 18) (3, 18) (4, 18) (5, 18) (6, 18) (7, 18) (8 , 18) (9, 18) (0, 19) (1, 19) (2, 19) (3, 19) (4, 19) (5, 19) (6, 19) (7, 19) (8 , 19) (9, 19) (0, 20) (1, 20) (2, 20) (3, 20) (4, 20) (5, 20) (6, 20) (7, 20) (8 , 20) (9, 20) (0, 21) (1, 21) (2, 21) (3, 21) (4, 21) (5, 21) (6, 21) (7, 21) (8 , 21) (9, 21) (0, 22) (1, 22) (2, 22) (3, 22) (4, 22) (5, 22) (6, 22) (7, 22) (8 , 22) (9, 22) (0, 23) (1, 23) (2, 23) (3, 23) (4, 23) (5, 23) (6, 23) (7, 23) (8 , 23) (9, 23) (0, 24) (1, 24) (2, 24) (3, 24) (4, 24) (5, 24) (6, 24) (7, 24) (8 , 24) (9, 24) (0, 25) (1, 25) (2, 25) (3, 25) (4, 25) (5, 25) (6, 25) (7, 25) (8 , 25) (9, 25) (0, 26) (1, 26) (2, 26) (3, 26) (4, 26) (5, 26) (6, 26) (7, 26) (8 , 26) (9, 26) (10, 15) (11, 15) (12, 15) (13, 15) (14, 15) (15, 16) (16, 24) (17, 22) (18 , 21) (19, 25) (10, 16) (11, 16) (12, 16) (13, 16) (14, 16) (15, 23) (17, 26) (18, 24) (19 , 26) (10, 17) (11, 17) (12, 17) (13, 17) (14, 17) (15, 24) (10, 18) (11, 18) (12, 18) (13 , 18) (14, 18) (10, 19) (11, 19) (12, 19) (13, 19) (14, 19) (10, 20) (11, 20) (12, 20) (13 , 20) (14 20) (10, 21) (11, 21) (12, 21) (13, 21) (14, 21) (10, 22) (11, 22) (12, 22) (13, 22) (14, 22) (10, 23) (11, 23) (12, 23) (13, 23) (14, 23) (10, 24) (11, 24) (12, 24) (13, 24) (14, 24) (10, 25) (11, 25) (12, 25) (13, 25) (14, 25) (10, 26) (11, 26) (12, 26) (13, 26) (14, 26) (20, 21) (21, 24) (22, 26) (23, 24) (25, 26) (20, 24)
Так як будь-яке di стан з проміжку від d0 до d14 не можна об'єднати ні з яким станом dj із цього проміжку (у трикутній таблиці на перетині di і dj стоїть знак "x"), то при будь-якому варіанті укрупнення отримаємо число станів не менше 15. В...
