Основные определения. Элементы теории цифровых автоматов

Элементы теории цифровых автоматов

Цифровой автомат представляет собой объект, определяемый следующей шестеркой характеристик:

{A,W, Z, d, l, a_н},

где:

- A ={a₁, a₂,..., a_n} - множество состояний цифрового автомата;

- W = {v₁, v₂,...,v_m} - множество выходных сигналов цифрового автомата;

- Z = {z₁, z₂,.....z_n} - множество входных сигналов цифрового автомата;

- l - функция выработки выходного сигнала v (t+1) в зависимости от текущего состояния а(t) цифрового автомата и действующего на его входе сигнала z(t);

- v (t+1) = l (а(t), z(t));

- d - функция перехода цифрового автомата в новое состояние а(t+1) в зависимости от его текущего состояния а(t) и действующего на его входе сигнала z(t);

а(t+1) = d (а(t), z(t));

- a_n ÎA- начальное состояние цифрового автомата.

Если рассматривать множество входных сигналов Z как множество букв входного алфавита, а множество выходных сигналов W как множество букв выходного алфавита, то цифровой автомат можно рассматривать как преобразователь слов - входному слову, состоящему из S букв входного алфавита, он ставит в соответствие выходное слово, состоящее из S букв выходного алфавита. В этом случае эквивалентность двух цифровых автомата можно определить следующим образом:

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

Цифровой автомат называется конечным, если используемые для его задания множества конечны.

Цифровой автомат является полностью определенным, если каждой паре a(t), z (t) cтавится в соответствие пара a(t+1), v(t+1). В противном случае цифровой автомат называется частично определенным или просто частичным.

Под данное определение цифрового автомата подпадают практически все накапливающие узлу ЭВМ. Поэтому хорошо разработанная теория цифровых автоматов находит широкое применение для синтеза и анализа сложных схем в вычислительной техники.

Существует два основных вида цифровых автомата:

- автомат Мура;

- автомат Мили.

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

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

а(t+1) = d (а(t), z(t));

v(t+1) = l (а(t)).

Зависимость выходного сигнала от входного в автомате Мура проявляется косвенно, т.е. через зависимость состояния от входного сигнала.

На практики широко используются две формы задания цифрового автомата:

- задание цифрового автомата через таблицы;

- задание цифрового автомата с помощью графа.

Задание цифрового автомата через таблицы

т Мили задается с помощью двух таблиц:

- таблицы переходов, определяющей правило формирования нового состояния на основании текущего состояния и действующего входного сигнала;

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

На Рис. 3.3‑1 приведен пример табличного задания автомата Мили.

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

Рис. 3.3‑1

Приведенный цифрового автомата имеет множество входных сигналов Z={z₁, z₂, z₃}, множество состояний А ={a₁, a₂, a₃, a₄} и множество выходных сигналов W={v₁, v₂, v₃, v₄, v₅}.

Таблицы перехода и выходного сигнала имеют одинаковую размерность и одинаковую разметку колонок и строк. Это делает возможность их объединения в одну таблицу. На Рис. 3.3‑2 а) приведена объединенная таблица, соответствующая двум таблицам на Рис. 3.3‑1.

Таблицы переходов и выходов задает следующую дисциплину переходов и формирования выходного сигнала:

если автомат находится в текущий момент в состоянии а_j и получает по входу сигнал z_i, то он переходит в новое состояние, которое записано в клетке таблицы переходов, расположенной на пересечении j-ой колонки и i-ой строки, и вырабатывает выходной сигнал, который определен значением в клетке, расположенной в таблице выходов на пересечении j-ой колонки и i-ой строки.

Например, если автомат находится в состоянии a₄, а на вход поступает сигнал z₂, то он переходит в состояние a₁ и вырабатывает выходной сигнал v₂.

Работа заданного автомата как преобразователя слов иллюстрируется следующим образом.

Предположим, что на вход автомата, приведенного на рис. 3.3‑1а), находящегося в начальном состоянии a_н= a₃, поступает входное слово в виде последовательности букв z₁, z₁, z₃, z₂, z₂, z₁, тогда цифровой автомат будет переходить в последовательность состояний и вырабатывать последовательность выходных сигналов, имеющих вид:

a(t) ---- a₃, a₂, a₁, a₄, a₁, a₄,

z(t) ---- z₁, z₁, z₃, z₂, z₂, z₁,

a(t+1) -- a₂, a₁, a₄, a₁, a₄, a₄,

v(t+1)-- v₃, v₁, v₅, v₂, v₃, v₄.

В приведенных последовательностях приняты следующие обозначения:

- a(t) - текущее состояние цифрового автомата;

- z(t) входной сигнал, действующий на текущем такте работы цифрового автомата;

- a(t+1), v(t+1) - соответственно, новое состояние цифрового автомата и вырабатываемая им буква выходного алфавита.

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

Из приведенных последовательностей видно, что в ответ на поступившее входное слово z₁, z₁, z₃, z₂, z₂, z₁, цифровой автомат, находившийся в исходном состоянии a₃ выдает выходное слово v₃, v₁, v₅, v₂, v₃, v₄, содержащее столько же букв, что и входное слово, и в конце преобразования оказывается в состоянии a₄. Очевидно, что при другом исходном состоянии, отличным от a₃, цифровой автомат выработает выходное слово, отличное от v₃, v₁, v₅, v₂, v₃,v₄. В этом можно убедиться, взяв другое начального состояние, и для того же входного слова найти выходное слово, которое сформирует цифровой автомат.

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

На рис. 3.3‑2 b) приведен пример табличного задания автомата Мура.

Таблицы переходов, также как и в случае автомата Мила, задает следующую дисциплину переходов: если автомат находится в текущий момент в состоянии а_j и получает по входу сигнал z_i, то он переходит в новое состояние, которое записано в клетке таблицы переходов, расположенной на пересечении j-ой колонки и i-ой строки и вырабатывает выходной сигнал, который определяется новым состоянием цифрового автомата (в рассматриваемой таблице в самой верхней строке перечислены выходные сигналы в их взаимосвязи с состояниями, перечисленными во второй строке). Например, если автомат находится в состоянии a₄, а на вход поступает сигнал z₂, то он переходит в состояние a₃ , которому соответствует выходной сигнал v₁.

Рис. 3.3‑2

Работа заданного автомата как преобразователя слов иллюстрируется следующим образом.

Предположим, что на вход автомата, находящегося в начальном состоянии a_н= a₂, поступает входное слово в виде последовательности букв z₁, z₃, z₃, z₂, z₃, z₁, тогда цифровой автомат будет переходить в последовательность состояний и вырабатывать последовательность выходных сигналов, имеющих вид:

a(t) ---- a₃, a₁, a₄, a₂, a₄, a₂,

z(t) ---- z₁, z₃, z₃, z₂, z₃, z₁,

a(t+1) -- a₁, a₄, a₂, a₄, a₂, a₁,

v(t+1)-- v₂, v₁, v₃, v₁, v₃, v₂.

В приведенных последовательностях приняты следующие обозначения:

- a(t) - текущее состояние цифрового автомата;

- z(t)- входной сигнал, действующий на текущем такте работы цифрового автомата;

- a(t+1), v(t+1) - соответственно новое состояние цифрового автомата и им вырабатываемый выходной сигнал.

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

Из приведенных последовательностей видно, что в ответ на поступившее входное слово z₁, z₃, z₃, z₂, z₃, z₁, цифровой автомат, находившийся в исходном состоянии a_3, выдает выходное слово v₂, v₁, v₃, v₁, v₃, v₂, содержащее столько же букв, что и входное слово, и в конце преобразования оказывается в состоянии a₁. Очевидно, что при другом исходном состоянии, отличном от a₃, цифровой автомат, в общем случае, выработает выходное слово, отличное от v₂, v₁, v₃, v₁, v₃, v₂.

Дата добавления: 2014-01-07