послідовних вхідних набору повинні тільки відрізнятися в однієї змінної (тільки сусідні набори);
) Перехід з одного стійкого стану в інший здійснюється через нестійкі за кінцевий час.
Для опису алгоритму роботи автомата використовується примітивна таблиця переходів і виходів (ПТПіВ).
ПТПіВ містить стільки рядків скільки можливих комбінацій вхідних сигналів.
У кожному стовпці ПТПіВ має бути тільки один стійкий стан, то яке відповідає розглядався станом.
Недоліком ПТПіВ є велике число станів, надмірність, потреба в мінімізації. ПТПіВ будується для часткового автомата. p align="justify"> Примітивна таблиця переходів і виходів.
Примітивною називається таблиця переходів і виходів, в якій в кожному стовпці S i є тільки один стійкий стан S i . У цій таблиці використовуються тільки безпосередні переходи з нестійкого стану в стійке, тобто довжина ланцюжка переходу дорівнює одиниці. Примітивна таблиця використовується при початковому описі алгоритму роботи автомата.
3.2 Мінімізація числа станів
Стани S i і S j називаються сумісними, якщо при будь допустимої послідовності вхідних сигналів відповідають вихідні сигнали, отримані з S i і з S j , можуть бути Довизначивши до однакових.
Ставлення сумісності не має властивість транзитивності.
мінімізували ПТПіВ для секретного замка зображена на малюнку
Після етапу мінімізації отримуємо автомат з сімома станами, для якого мінімізована таблиця переходів і виходів має вигляд:
Отримана таблиця переходів.
Для наочного уявлення побудуємо граф зв'язків автомата, в якому ребрами вказуємо, чи є перехід між станами чи ні:
3.3 Сусіднє кодування
Для даного варіанту один з можливих способів сусіднього кодування можна відобразити наступним чином:
S4S5SдS0S9XS3S1 -S0? S5-Sд-S0-S0? S3-Sд-S0-S4? S1-S9-S45-S9? S5-S4-S9
Кодування станів
SZ1Z2Z3S0010S1011S3111S4000S5100S9001Sд110
Після кодування отримана таблиця.
