Определение. Операцией обратной связи называется преобразование конечного автомата â, при котором один из выходов â подключается к входу автомата z

Операцией обратной связи называется преобразование конечного автомата Â, при котором один из выходов Â подключается к входу автомата Z, а выход Z подсоединяется к одному из входов Â.

В результате операции обратной связи образуется новый автомат с m - 1 входами и n - 1 выходами.

Пример. На рис. 7.14 изображен конечный автомат Á, который получается из автомата Â, имеющего по два входа и выхода, применением обратной связи:

x (t) y (t)

Â

Z

Á

Рис. 7.14

Состояниями Á являются пары (q _i, q _j), где q _i - состояние Â, а q _j - состояние автомата задержки Z.

Пусть q ⁰- начальное состояние автомата Á.

Тогда функционирование автомата Â для заданных начальных состояний q ⁰ и a ₀ представляется следующими каноническими уравнениями:

q1(t0)	=	q^0;
q2(t0)	=	a0;
q1(t+1)	=	j((x (t), q2(t)), q1(t));
q2(t+1)	=	y2((x (t), q2(t)), q1(t));
y(t)	=	y1((x (t), q2(t)), q1(t)).

Здесь q ₁(t) и q ₂(t) - состояния Â и Z в момент t, а y₁ и y₂ - функции, определяющие символы на первом и втором выходах автомата Â соответственно.

Входные символы для автомата Â представляют собой пары символов (x ₁(t), x ₂(t)).

Упражнение. Записать канонические уравнения для автомата задержки на два шага, изображенного на рис. 7.15.

Дата добавления: 2015-03-31