Способы задание абстрактного автомата

Наиболее распространены табличный и графический способы задания абстрактных автоматов.

Задание автомата Мили

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

Автомат Мили задается таблицей переходов и выходов.

Пусть автомат иметь состояние A = {a₁, a₂, a₃} при подаче входного алфавита Z = {z₁, z₂}; на выходе W = {w₁, w₂}.

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

am zf	a1	a2	a3
z1	a2	a3	a3
z2	a3	a2	a1

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

am zf	a1	a2	a3
z1	w2	w1	w2
z2	w2	w1	w1

Обе таблицы можно объединить в совмещенную таблицу переходов и выходов.

am zf	a1	a2	a3
z1	a2 w2	a3 w1	a3 w2
z2	a3 w2	a2 w1	a1 w1

2. Графический способ

Основан на представлении абстрактного автомата в виде ориентированного графа, вершины которого соответствуют состояниям автомата, а дуги переходам между ними (рисунок 4).

Рисунок 4 – Представление абстрактного автомата в виде графа

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

Задание автомата Мура

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

Составляется отмеченная таблица переходов и выходов.

A = {a₁, a₂, a₃, a₄}

Z = {z₁, z₂}

W = {w₁, w₂}

wg	w1	w2	w1	w1
am zf	a1	a2	a3	a4
z1	a2	a3	a4	a4
z2	a4	a1	a1	a1

2. Графический способ

Автомат Мура согласно отмеченной таблице имеет следующий вид.

Элементарные автоматы с памятью

1. D-триггер с синхронизацией по переднему и заднему фронту.

2. D-триггер со входом асинхронного сброса

3. D-триггер со входом асинхронного сброса и разрешением тактирования

Задача.

Необходимо осуществить задержку входного сигнала D на 3 такта.

D-триггеры можно использовать для организации линий задержки входного сигнала на заданное количество тактов.

process (c)

begin

if (c = ‘1’ and c’event) then

y1 <= D;

y2 <= y1;

Q <= y2;

end if;

end process;