Лекции::

Дополнительно:

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

При этом способе автомат Мили описывается двумя таблицами: таблицей переходов и таблицей выходов.

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

xj\aj

a0

an

x1

d(a0,x1)

d( an,x1)

xm

d( a0,xm)

d( an,xm)

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

xj\aj

a0

an

x1

l(a0,x1)

l( an,x1)

xm

l( a0,xm)

l( an,xm)

Строки этих таблиц соответствуют входным сигналам x(t), а столбцы – состояниям. На пересечении столбца ai и строки xj в таблице переходов ставится состояние as = d[ ai,xj], в которое автомат перейдет из состояния ai под воздействием сигнала xj; а в таблице выходов – соответствующий этому переходу выходной сигнал yg = l[ ai,xj].

Совмещенная таблица переходов и выходов автомата Мили:

xj\ai

a0

an

x1

d(a0,x1)/ l(a0,x1)

d(an,x1)/ l(an,x1)

xm

d(a0,xm)/ l(a0,xm)

d(an,xm)/ l(an,xm)

Задание таблиц переходов и выходов полностью описывает работу конечного автомата, поскольку задаются не только сами функции переходов и выходов, но и также все три алфавита: входной, выходной и алфавит состояний.

предыдущая темаследующая