Табличный способ

ДА могут задаваться (описываться) таблицами различным образом. Рассмотрим самый общий случай табличного способа на примере автоматов Мили и Мура.

Обычно функции переходов и выходов автомата Мили задаются таблицей переходов-выходов (Таблица 1.1).

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

		Таблица 1.1
		Входной сигнал	Состояния
		a 0	a 1	a 2	a 3
		x 1
		x 2

Автомат, заданный таблицей 1.1, определен на множестве входных сигналов X = (x ₁, x ₂), множестве внутренних состояний A = (a ₀, a ₁, a ₂, a ₃), из которых a ₀ – начальное состояние, и на множестве выходных сигналов Z = (z ₁, z ₂, z ₃).

По таблицам переходов-выходов можно найти выходную реакцию автомата на любую комбинацию входных сигналов.

Функцию переходов и выходов автомата Мура и можно задать отмеченной таблицей переходов, которая строится так же, как и таблица переходов-выходов автомата Мили для переходов, но символу каждого внутреннего состояния a_i ставится в соответствие строго определенное значение выходного символа z_k (Таблица 1.2).

Отмеченная таблица переходов отражает то свойство автомата Мура, что выходной сигнал зависит только от состояния автомата в этот момент времени независимо от пути, по которому он пришел в это состояние.

	Таблица 1.2
	Выходной сигнал	z 2	z 1	z 2	z 2	z 3	z 3
	Состояния	a 0	a 1	a 2	a 3	a 4	a 5
	Вх. сигнал
	x 1	a 1	a 2	a 3	a 4	a 4	a 1
	x 2	a 0	a 0	a 0	a 5	a 1	a 5

В практике встречаются и другие виды таблиц, описывающих функционирование данного конкретного ДА (таблицы состояний, таблицы включений, кодированные таблицы переходов и т.д.), однако все они являются частными случаями рассмотренных таблиц переходов-выходов.