По заданной совмещенной таблице переходов и выходов автомата Мили построить:
прямую таблицу переходов;
обратную таблицу переходов;
граф;
записать СКУ и СВФ.
Вариант 14
a1 a2 a3 a4
z1 a3/w4 a1/w4 a4/w5 a2/w1
z2 a1/w3 a3/w5 a2/w1 a4/w5
Решение
Составим прямую таблицу переходов автомата Мили (табл. 1.1), в которой последовательно перечислим все переходы сначала из первого состояния, затем из второго и т.д.
Таблица 1.1. Прямая таблица переходов автомата Мили
am (t) zf (t) as(t+1) wg (t)
a1 z1 a3 w4
z2 a1 w3
a2 z1 a1 w4
z2 a3 w5
a3 z1 a4 w5
z2 a2 w1
a4 z1 a2 w1
z2 a4 w5
Составим обратную таблицу переходов автомата Мили (табл
. 1.2), в которой сначала запишем все переходы в первое состояние, затем во второе и т.д.
Таблица 1.2. Обратная таблица переходов автомата Мили
am (t) zf (t) as(t+1) wg (t)
a1 z2 a1 w3
a2 z1
w4
a3 z2 a2 w1
a4 z1
w1
a1 z1 a3 w4
a2 z2
w5
a3 z1 a4 w5
a4 z2
w5
Построим граф автомата Мили (рис