Соединение автоматов. Параллельное соединение двух автоматов. Соединение двух автоматов с обратной связью

Таблица функции j:

j:

Так как внутренний алфавит определяется формулой: A = A₁*A_2, таблица переходов нового автомата будет выглядеть следующим образом:

d:

Составляется таблица следующим образом:

• в верхней строке выписываются в порядке возрастания индексов всевозможные варианты a_ib_j;
• в соответствие a_i и Z_k в ячейки таблицы d по таблице d₁ выписываются состояния a_j;
• в соответствие b_i и Z_k в ячейки таблицы d по таблице d₂ выписываются состояния b_j;

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

• в верхней строке выписываются состояния нового автомата – a_ib_j;
• в соответствие a_i и Z_k в ячейки таблицы l¹ по таблице l₁ выписываются выходные сигналы W¹_j;
• в соответствие b_i и Z_k в ячейки таблицы l¹ по таблице l₂ выписываются состояния W²_j;

l¹:

Составим конечный вариант таблицы l, воспользовавшись таблицей выходов функции j:

·  в соответствие каждым W¹_iW²_j будем выбирать из таблицы j соответствующие значения W¹_k.

l:

Наш новый автомат S, замещающий S₁ и S₂ задан таблицами l и d.

2.Последовательное соединение двух автоматов.

3.

Пусть даны два автомата: S₁ и S₂ – с различными собственными внутренними, входными и выходными алфавитами, начальными состояниями функциями переходов и выходов.

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

Согласно схеме автоматы определяются так:

S₁=(A₁, Z, W₁, d₁, l₁,a₁₁)

S₂=(A₂, W₁, W, d₂, l₂,a₁₂)

Проводя замену, «объединяя» автоматы получим новый автомат S, у которого:

·  внутренний алфавит образуется из всевозможных пар состояний автоматов S₁ и S₂: