Определение функций внешних переходов

Получение кодированной таблицы переходов и выходов.

Исходными данными для построения кодированной таблицы переходов и выходов являются:

1) Таблицы переходов и выходов абстрактного автомата.

2) Таблицы кодирования символов алфавита абстрактного автомата.

Таблица кодирования получается путём подстановки двоичных кодов символов в таблицу переходов и выходов абстрактного автомата.

Пример 3.3.:

для описанных выше автоматов S₁ и S₂ кодированные таблицы переходов и выходов. Они получаются путём кодирования таблиц на рис. 3.8 и 3.9. с использованием таблиц на рис. 3.20.,3.21. и 3.22.

Таблицы задают переходы элементарных автоматов. По кодированной таблице переходов находят функции внешних переходов элементарных автоматов, а по кодированной таблице выходов - функции выходов.

Функции внешних переходов определяется в следующей последовательности.

1) Переставить строки столбцы таблицы переходов-выходов таким образом, чтобы значение входного сигнала и состояний элементарных автоматов в момент t образовывали циклический код.

2) Размножаем (распараллеливаем) таблицу переходов по числу элементарных автоматов и таблицу переходов для каждого автомата представляется в виде диаграммы Карно.

4) По диаграмме Карно определяем функции внешних переходов.

Ниже определяются функции внешних переходов для автоматов S₁ и S₂. Преобразуем кодированные таблицы переходов и выходов на рис. 3.23. и 3.24. автоматов S₁ и S₂ переставив местами два последних столбца.

Доопределение запрещённых состояний выполняются таким образом, чтобы в столбце запрещённых состояний получилось хотя бы одно разрешённое состояние.

Дата добавления: 2014-01-05