3.2.1. Последовательное соединение

Пусть для последовательного соединения заданы предыдущее состояние итогового автомата s₁ (s₁₁, s₂₁), входной сигнал

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

Алгоритм последовательного соединения автоматов можно сформулировать следующим образом:

1) начать;

2) перебирать все состояния S;

3) по состоянию S определить пару состояний s_a, s_b;

4) по сигналу x определить новые s_a, y_a;

5) по сигналу y_a определить новые s_b, y_b;

6) по состояниям s_a, s_b определить новое состояние s;

7) выходной сигнал автомата B считать выходным сигналом y;

8) если не все состояния перебраны, то п.2;

9) закончить

По табл.18 из данного состояния s₁₁ по указанному сигналу первый автомат S1 перейдет в состояние s₁₃, выдаст сигнал По этому сигналу и исходному состоянию s₂₁ второй автомат перейдет в состояние s₂₁ и выдаст сигнал y₂₁=y₁ (табл.19).

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

Должно учитываться взаимно однозначное соответствие между номером выходного сигнала одного исходного автомата и номером входного сигнала другого автомата.

Применительно к итоговому автомату первый индекс должен отбрасываться.

Состояния s₁₃, s₂₁ определяют новое состояние s₅, выходной сигнал уже известен, он есть y₁.

В результате последовательного соединения автоматов А и В, заданных в таблицах 18 и 19 соответственно, получается результирующий автомат С. При необходимости следует составить совмещенную таблицу переходов и выходов.

3.2.2. Параллельное соединение

Для параллельного соединения пусть будут заданы начальное состояние s₅ (s₁₃, s₂₁) и входной сигнал

Оба автомата работают одновременно под действием одного и того же

входного сигнала Преобразователь  и преобразует выходные сигналы автоматов А и В во множество выходных сигналов итогового автомата YC:

YС =  (YA, YB).

Функция преобразования  отражена в табл .22.

Алгоритм функционирования параллельного соединения автоматов А и В можно сформулировать следующим образом:

1) начать;

2) перебирать предыдущие состояния SC;

3) по состоянию s_c определить предыдущие состояния s_a и s_b;

4) по сигналу x_c определить данные состояния s_a, s_b, выходные сигналы y_a и y_b;

5) по s_a, s_b определить данное состояние s_c;

6) по y_a, y_b определить данный выходной сигнал y_c;

7) если перебраны не все состояния SC, перейти к п.2.;

8) закончить.

Первый ЦА из s₁₃ переходит в s₁₂, выдает y₁₁ (табл.18), второй автомат из s₂₁ переходит в s₂₂, выдает y₂₂ (табл. 19). Получается новое состояние s₄, выдается сигнал y₂ (табл. 22).

В результате параллельного соединения автоматов А и В, заданных в таблицах 18 и 19 соответственно, получается результирующий автомат С, совместная таблица переходов и выходов которого должна быть составлена.

3.2.3. Соединение с обратной связью

При обратной связи пусть будут заданы s₄ (s₁₂, s₂₂) и

В данном соединении имеется некоторый функциональный преобразователь  (табл.23), являющийся автоматом без памяти, который реализует  отображение:

XA=(XC,YB).

В этом случае один из автоматов ЦАВ (автомат B) должен быть Мура. Табл.20 является совмещенной таблицей переходов и выходов автомата A, а табл. 21 – отмеченной таблицей переходов автомата В.

Алгоритм функционирования соединения автоматов с обратной связью можно сформулировать так:

1. начать;

2. перебирать предыдущие состояния s_c;

3. по состоянию s_c определить предыдущие состояния s_a, s_b;

4. по состоянию s_b определить выходной сигнал y_b;

5. по сигналу x_c и y_b определить x_a;

6. по x_a определить данные s_a и y_a;

7. по y_a (x_b) определить данное состояние s_b;

8. по данным состояниям s_a, s_b определить данное состояние s_c;

9. по y_a определить y_c;

10) если перебраны не все состояния SС, то к п.2;

11) закончить.

Второй автомат по s₂₂ выдает сигнал y₂₂ (табл.20). По сигналам и y₂₂

преобразователь  (табл.23) формирует сигнал. Из состояния s₁₂ первый автомат переходит в состояние s₁₁, выдает сигнал y₁₁=y₁ (выходной сигнал итогового автомата). По сигналу y₁ второй автомат из состояния s₂₂ переходит в состояние s₂₂ (табл. 21). Новое состояние автомата S есть s₂.

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