Пример проектирования управляющей таблицы МП-автомата
Пусть правила грамматики имеют вид:
Р={



}
Составление управляющей таблицы ведется в следующей последовательности:
· правила представляются в форме

где
– первый терминал;
– другая часть терминала;
· составляется подготовительная таблица (табл. 2.2);
Таблица 2.2 - Подготовка данных для управляющей таблицы
| № правила | Корень правила | Первый терминал
| Другая часть правила
|
| Т1 |
| |
| Т2 |
| |
| Т3 |
| |
| Т4 |
| |
| Т6 | - |
· составляется список входных символов: Т1; Т2; Т3; Т4; Т5; Т6 ;
;
· составляется список магазинных символов:
;
;
; Т2; Т5;
;
· строится управляющая таблица (табл. 2.3).
Таблица 2.3
| Магазин-ные символы | Входные символы | ||||||
| Т1 | Т2 | Т3 | Т4 | Т5 | Т6 |
| |
| Заменить на ( )
сдвинуть
| Заменить на ( )
сдвинуть
| |||||
| Заменить на ( )
сдвинуть
| Вытолк-нуть, сдвинуть | |||||
| Заменить
на ( )
сдвинуть
| ||||||
| Вытолк-нуть, сдвинуть | ||||||
| Вытолк-нуть, сдвинуть | ||||||
| Допустить |
При построении управляющей таблицы МП-автомата необходимо учитывать следующие правила:
1. Процедура «ОТВЕРГНУТЬ» не записывается, ей отвечают пустые клетки.
2. На пересечении строк и столбца, которые отвечают определенному правилу, часть правила
записывается реверсивно, т.е. в обратном порядке:
.
3. Если верхний магазинный символ (терминал) совпадает с входным символом, то выполняются операции ВЫТОЛКАТЬ и СДВИНУТЬ.
4. Если верхний символ магазина
и входной символ
(маркеры), выполняется операция ДОПУСТИТЬ.
Пример.
Пусть на вход поступает цепочка терминалов: Т2 Т3 Т4 Т5 Т6 Т2
.
Рассмотрим процесс изменения информации в магазине. Процедуры, выполняемые автоматом при анализе каждого входного терминала, представлены в таблице 2.4.
Таблица 2.4 - Пример анализа входной информации
| Магазин низ верх | Вход | Процедура |
| Т2 | Заменить верхний символ на , сдвинуть
|
| Т3 | Заменить на , сдвинуть
|
| Т4 | Заменить на , сдвинуть
|
| Т5 | Вытолкать, сдвинуть |
| Т6 | Вытолкать, сдвинуть |
| Т2
| Вытолкать, сдвинуть |
|
| Допустить |
Анализ входной цепочки терминалов МП-автомата показывает, что данная цепочка представляет собой корректную фразу, которая отвечает правилам.
Таким образом, процесс трансляции заключается в чтении информации с помощью правил грамматики и формировании управляющих сигналов в исходном автомате - генераторе кодов. Генератор кодов программно реализует задачу логического управления автоматикой.
При управлении простыми процессами, например, автоматическими циклами, а также при анализе состояний с небольшим количеством переменных (3...8) целесообразно применение асинхронных автоматов. При этом функции управления могут иметь разные способы представления: булевые выражения, таблицы истинности, переключательные или комбинационные логические схемы, карты Карно, диаграммы Вейча, графы и т.д. Исходные сигналы автомата могут быть однобитными или многобитными.
При небольшом числе переменных для программирования асинхронных автоматов применяются методы операторных программ, в которых используются логические операции процессоров, а также методы маскирования, адресных переходов и бинарных программ.
)
сдвинуть
)
сдвинуть
)
сдвинуть
Т2






