Page 38 - 4128

вхідний сигнал з множини Z. На перетині стовпця a m і рядка z f
в табл.2.1 записується стан a s, в який повинен перейти автомат
із стану a m під дією вхідного сигналу Z f, тобто a s = (a m, z f). На
перетині стовпця a m і рядка z f в табл. 2.2 записується вихідний
сигнал W g, що видається автоматом в стані a m під час
поступлення на вхід сигналу z f, тобто W g = ( a m, z f ).
Для приведених таблиць множини, що створюють
автомат: A={a 1, a 2, a 3, a 4}, Z={z 1, z 2}, W={w 1, w 2, w 3, w 4, w 5}.
Автомат Мілі може бути заданий однією суміщеною
таблицею переходів і виходів (табл.2.3), в якій кожен елемент
a s/w g записаний на перетині стовпця a m і рядка z f, визначається
таким чином:
a s=(a m, z f); w f=(a m, z f).
Таблиця 2.3 - Суміщена таблиця переходів і виходів для
автомата Мілі
a 1 a 2 a 3 a 4
z 1 a 2/w 1 a 1/w 2 a 2/w 1 a 3/w 2
z 2 a 3/w 2 a 4/w 3 a 1/w 4 a 1/w 5
Автомат Мура задається однією відміченою таблицею
переходів (табл.2.4), в якій кожному стовпцю приписані не
тільки стан a m, але ще і вихідний сигнал W g, відповідний
цьому стану, де W g=(a m).
Таблиця 2.4 - Відмічена таблиця переходів автомата Мура
w 1 w 2 w 3 w 4
a 1 a 2 a 3 a 4

z 1 a 1 a 2 a 2 a 3
z 1 a 2 a 3 a 4 a 1

Для часткових автоматів Мілі і Мура в розглянутих
таблицях на місці непевних станів і вихідних сигналів
ставиться прочерк. У таких автоматах вихідний сигнал на
деякому переході завжди є невизначеним, якщо невизначеним
є стан переходу. Крім того, вихідний сигнал може бути
невизначеним і для деяких існуючих переходів.
Для задання С - автоматів також використовується
табличний метод. В цьому випадку таблиця переходів (табл.
2.5) аналогічна таблиці переходів автомата Мілі, а в таблиці
37