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

Автомат Мили задается таблицей переходов – ТП (табл. 4.1) и таблицей выходов – ТВ (табл. 4.2) В случае не полностью определенного автомата, таблица переходов или таблица выходов не полностью заполнены и в них имеются пустые позиции. Таблицы построены на основании графа переходов автомата рис. 4.3.

Таблица 4.1 – Таблица переходов автомата Мили

ТП а 1 а 2 а 3 а 4 а 5 а 6 а 7
х 1 а 2 - - - - - -
х 2 а 3 - - - - - -
х 3 а 4 - - - - - -
х 4 - а 5 а 6 а 7 - - -
  - - - - а 1 а 1 а 1

Таблица 4.2 – Таблица выходов автомата Мили

ТВ а 1 а 2 а 3 а 4 а 5 а 6 а 7
х 1 - - - - - - -
х 2 - - - - - - -
х 3 - - - - - - -
х 4 - y 1 y 2 y 3 - - -
  - - - - - - -

На пересечении столбца a i и строки x j в таблице переходов записывается состояние перехода a s(t +1)= d [ a m(t), x f(t)], в которое автомат переходит из состояния a m под действием сигнала x f, а в таблице выходов – соответствующий этому переходу выходной сигнал y (t)= l [ a m(t), x f(t)].

Как нам известно, выходной сигнал автомата Мура зависит только от внутреннего состояния. Поэтому автомат Мура может быть задан одной отмеченной таблицей переходов (табл. 4.3). Таблица построена на основании графа переходов автомата рис. 4.4.

Таблица 4.3 – Отмеченная таблица переходов автомата Мура

ОТП - - - - y 1 y 2 y 3
а 1 а 2 а 3 а 4 а 5 а 6 а 7
х 1 а 2 - - - - - -
х 2 а 3 - - - - - -
х 3 а 4 - - - - - -
х 4 - а 5 а 6 а 7 - - -
  - - - - а 1 а 1 а 1

С-автомат задается двумя таблицами таблицей переходов и отмеченной таблицей выходов или наоборот отмеченной таблицей переходов и таблицей выходов (табл. 4.4 и табл. 4.5). Таблицы построены на основании графа переходов автомата рис. 4.5.

Таблица 4.4 – Отмеченная таблица переходов С-автомата

ОТП - u 1 u 1 u 1 - - -
а 1 а 2 а 3 а 4 а 5 а 6 а 7
х 1 а 2 - - - - - -
х 2 а 3 - - - - - -
х 3 а 4 - - - - - -
х 4 - а 5 а 6 а 7 - - -
  - - - - а 1 а 1 а 1

Таблица 4.5 – Таблица выходов С-автомата

ТВ а 1 а 2 а 3 а 4 а 5 а 6 а 7
х 1 - - - - - - -
х 2 - - - - - - -
х 3 - - - - - - -
х 4 - y 1 y 2 y 3 - - -
  - - - - - - -

Понравилась статья? Добавь ее в закладку (CTRL+D) и не забудь поделиться с друзьями:  



double arrow
Сейчас читают про: