Табличный способ задания автоматов

Таблица переходов.

Каждая строка (столбец) таблицы переходов соответствует состоянию входов, а каждый столбец (строка) внутреннему состоянию.

	X1	X2	X3	X4
1	X2	X1	X1	X2
2	X3	X3	X1	X4
3	X4	X2	X1	X1

Каждая клетка соответствует внутреннему состоянию автомата, в который он должен перейти в следующий момент времени. Если в автомате какое либо состояние не определено, то в соответствующей клетке ставится прочерк. Прочерк означает, что либо это состояние запрещено, либо дальнейшее поведение не определено.

Например, задан автомат, для которого не может быть подано двух одинаковых входных сигналов следующих друг за другом.

	1	2
X1	X1	X2
X2	X3	-
X3	-	X4
X4	X1	-

Таблица выходов.

Функция выхода автомата также может быть задана в виде таблицы. При этом вид таблицы зависит от модели автомата (Мили, Мура).

Для автомата Мили столбцы соответствуют внутренним состояниям, строки – входным сигналам, в ячейках – выходные сигналы.

	X1	X2	X3
1	1	3	1
2	2	3	1
3	1	2	1

Запись 1 означает, что если подать на вход автомата, находящегося в состоянии Х1, сигнал 1, то на выходе будет 1.

Для автомата Мура таблица выходов не строится, т.к. от выходной сигнал не зависит от входного. Для автомата Мура строится совмещенная таблица переходов и выходов

	1	2	1
	Х1	Х2	Х3
1	X1	X2	X3
2	X1	-	X2
3	-	Х3	-

Табличный способ для асинхронного автомата

Как и для синхронного автомата, каждая ячейка таблицы переходов асинхронного автомата соответствует внутреннему состоянию, в которое перейдет автомат. Это состояние определяется внутренним состоянием в предыдущий момент времени и поданным на вход сигналом.

Устойчивое состояние асинхронного автомата, т.е. состояние, соответствующее устойчивому такту обозначается в таблице переходов круглыми скобками. Неустойчивое состояние - записывается без скобок.

	1	2	3
X1	X2	X2	Х3
X2	X3	(Х5)	(Х2)
X3	Х6	-	(Х1)
X4	-	Х1	Х3
Х5	(Х1)	Х6	Х4
Х6	(Х4)	-	Х6

Входной сигнал можно менять, когда автомат перешел в новое устойчивое состояние. Если устойчивого состояния нет, то происходит зацикливание (неустойчивое состояние).

Если автомат переходит из одного устойчивого внутреннего состояния под воздействием входного сигнала в другое состояние, то входной сигнал можно изменять только при «попадании» автомата в устойчивое состояние. Переход автомата из одного устойчивого состояния в другое устойчивое может осуществляться через несколько неустойчивых состояний.

Таблица выходов.Особенность для асинхронных автоматов состоит в том, что записывается последний выходной сигнал (при устойчивом состоянии). В столбце внутренних состояний записываются только устойчивые состояния. Выходные сигналы соответствуют устойчивому состоянию.

	1	2
X1	1	1
X2	2	-
X3	2	3
X4	-	1