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

Пусть автоматы М1 и М2 работают в синхронном режиме и соединены так, как показано на рис. 2.9.

Рис. 2.9 Схемы параллельного соединения автоматов М₁ и М₂.

Отличие схем заключено в формировании входных и выходных сигналов сети при различном соединении автоматов.

Для схемы на рис. 2.9а) множество входных символов автомата М определяется парой входных символов автоматов М₁ и М₂, то есть x_i= (x_1j;x_2k)Î(X₁ÄX₂) (см. таблицу 2.6), а множество выходных символов - парой выходных символов автоматов М1 и М2 y_i=(y_1j;y_2k)Î(Y₁ÄY₂) (см. таблицу 2.7).

Таблица 2.6

Таблица 2.7

Функционирование такого автомата M может быть описано системой рекуррентных соотношений:

(2.2)

Смена состояний и формирование выходных символов в каждом автомате сети происходит независимо и одновременно. Такая схема позволяет исследовать сложные автоматы, имеющие несколько входов и выходов. Таблица поведения композиции автоматов, реализованной по схеме на рис. 2.9а), представлена таблицей 2.8, а граф - рис. 2.10.

Таблица 2.8

Рис. 2.10 Граф композиции двух автоматов по схеме на рис.2.9а).

Для схемы на рис. 2.9b) входные символы автомата М одновременно и одинаковые поступают на входы автоматов М₁ и М₂. Их количество ограничено меньшим входным алфавитом автоматов М₁ и М₂. Пусть x₁=x₁₁=x₂₁, x₅=x₁₂=x₂₂, а x₂₃ - не определен. Выходные символы автомата М совпадают с символами для схемы на рис. 2.9а). Функционирование такого автомата M может быть описано системой рекуррентных соотношений:

(2.3)

Таблица поведения композиции автоматов, реализованной по схеме на рис. 2.9b), представлена таблицей 2.9. На рис. 2.11 показан граф этого автомата.

Таблица 2.9

Рис. 2.11 Граф композиции двух автоматов по схеме на рис.2.9b).

Для схемы на рис. 2.9с) входные символы автомата М совпадают с символами для схемы на рис. 2.9а), а выходные символы определяются функцией y=g(y_1i;y_2j), значения которой зависят от выходных символов автоматов М₁ и М₂.

Функционирование такого автомата M может быть описано системой рекуррентных соотношений:

(2.4)

Оператор g определяется поставленной задачей автомату М:

g:(Y₁ÄY₂)®Y. (2.5)

Например, это может быть оператор условного перехода. Пусть если аргумент функции g(y_1i;y_2j) содержит символ y₂₁, то на выходе автомата М генерируется выходной символ автомата М₁ соответствующей пары (y_1i;y_2j), если - символ y₂₂, то - выходной символ автомата М₂.

Таблица поведения композиции автоматов, реализованной по схеме на рис. 2.9c), представлена таблицей 2.10, а граф - рис. 2.12.

Таблица 2.10

Рис. 2.12 Граф композиции двух автоматов по схеме на рис.2.9с).

Для схемы на рис. 2.9d) входные символы автомата М совпадают с символами схемы на рис. 2.9b), а выходные - с символами схемы на рис. 2.9 с).

Функционирование такого автомата M может быть описано системой рекуррентных соотношений:

(2.5)

Таблица поведения композиции автоматов, реализованной по схеме на рис. 2.9d), представлена таблицей 2.11, а граф - рис. 2.13.

Таблица 2.11

Рис. 2.13 Граф композиции двух автоматов по схеме на рис.2.9d).

Дата добавления: 2015-07-26; просмотров: 283; Нарушение авторских прав

Мы поможем в написании ваших работ!