Лекция
Привет, Вы узнаете о том , что такое эквивалентные автоматы преобразование автоматов мура в мили, Разберем основные их виды и особенности использования. Еще будет много подробных примеров и описаний. Для того чтобы лучше понимать что такое эквивалентные автоматы преобразование автоматов мура в мили, из мили в мура , настоятельно рекомендую прочитать все из категории Теория автоматов.
Реакцией автомата называется последовательность выходных сигналов автомата, полученная под воздействием некоторой последовательности входных сигналов, то есть реакция - это выходное слово автомата на конкретное входное слово.
Так для автомата на рис.2.1 формирование реакции представлено в табл.2.1. На вход автомата подается последовательность входных сигналов . Автомат в исходном состоянии находится в состоянии
. Поступающий входной сигнал
переводит автомат в состояние
, причем на этом переходе в тот же самый дискретный момент времени формируется выходной сигнал
. Во второй момент времени
на автомат действует входной сигнал
который переводит автомат в состояние
, причем на этом переходе в тот же самый дискретный момент времени
формируется выходной сигнал
и так далее. В результате на входное слово
сформировано выходное слово
, которое и является реакцией автомата.
Рис. 2.1.
Моменты времени t | t1 | t2 | t3 | t4 | t5 | |
---|---|---|---|---|---|---|
Входные сигналы | z1 | z2 | z1 | z2 | z2 | |
Состояния | a 1 | a 2 | a3 | a 3 | a2 | a1 |
Выходные сигналы | w3 | w1 | w1 | w2 | w2 |
Для автомата Мура формирование реакции происходит аналогично, с той лишь разницей, что в автомате Мура выходной сигнал выдается не на переходе автомата из состояния в состояние
как в автомате Мили, а после того, как автомат перешел в состояние
.
Автомат Мили на рис.2.2 установлен в исходное состояние
.
На вход подается входное слово: .
В результате сформировано выходное слово , которое является реакцией автомата (табл.2.2).
Автомат Мура граф, которого представлен рис.2.3, установлен в исходное состояние
.
Рис. 2.2.
Рис. 2.3.
На вход подается такое же входное слово: .
В результате сформировано выходное слово , которое является реакцией автомата (табл.2.3).
Моменты времени | t1 | t2 | t3 | t4 | t5 | t6 | t7 |
---|---|---|---|---|---|---|---|
Входное слово | z1 | z1 | z2 | z1 | z2 | z2 | |
Состояния | a1 | a2 | a1 | a1 | a2 | a3 | a2 |
Выходнoе слово | w1 | w2 | w1 | w1 | w1 | w2 | |
реакция автомата |
Моменты времени | t1 | t2 | t3 | t4 | t5 | t6 | t7 |
---|---|---|---|---|---|---|---|
Входное слово | z1 | z1 | z2 | z1 | z2 | z2 | |
Состояния | a1 | a4 | a2 | a1 | a4 | a3 | a5 |
Выходнoе слово | w1 | w1 | w2 | w1 | w1 | w1 | w2 |
реакция автомата |
Два автомата и
называются эквивалентными, если:
Существует теорема: для любого автомата Мура существует эквивалентный автомат Мили и наоборот.
При табличном задании таблица переходов автомата Мили совпадает с таблицей переходов автомата Мура. Таблица выходов автомата Милиполучается из таблицы переходов заменой символа , стоящего на пересечении строки
и столбца
, на символ
, отмечающий столбец
в совмещенной таблице автомата Мура.
Пусть задан автомат Мура (табл.2.4). Таблица переходов эквивалентного автомата Мили (табл.2.5) совпадает с совмещенной таблицейавтомата Мура, представляющей переходы автомата, а таблица выходов 2.6 получена следующим образом. Считается, что на переходе из состояния в состояние
в эквивалентном автомате Мили должен быть сформирован такой же выходной сигнал, что и в автомате Мура, после того как автомат перешел в состояние
, то есть выходной сигнал
.
w1 | w2 | w3 | w2 | w3 | |
---|---|---|---|---|---|
a1 | a2 | a3 | a4 | a5 | |
z1 | a2 | a5 | a5 | a3 | a3 |
z2 | a4 | a2 | a2 | a1 | a1 |
a1 | a2 | a3 | a4 | a5 | |
---|---|---|---|---|---|
z1 | a2 | a5 | a5 | a3 | a3 |
z2 | a4 | a2 | a2 | a1 | a1 |
a1 | a2 | a3 | a4 | a5 | |
---|---|---|---|---|---|
z1 | w2 | w3 | w3 | w3 | w3 |
z2 | w2 | w2 | w2 | w1 | w1 |
Рассмотрим переход автомата из состояния в состояние
. В автомате Мура состоянию
соответствует выходной сигнал
, следовательно в табл.2.6 на переходе из состояния
по входному сигналу
ставим
и так далее.
При графическом задании автомата Мура переход к автомату Мили выполняется следующим образом: выходной сигнал , формируемый в состоянии
, переносится на все дуги, входящие в эту вершину, графическая интерпретация этого показана на рис.2.4, а пример трансформации автомата Мура в эквивалентный автомат Мили показан на рис.2.5.
Рис. Об этом говорит сайт https://intellect.icu . 2.4.
Рис. 2.5.
Ограничение: В автомате Мили не должно быть переходящих состояний, т.е. состояний, в которых имеется хотя бы одна выходящая дуга и не имеется ни одной входящей дуги, так как показано на рис.2.6.
Рис. 2.6.
В автомате Мура выходной сигнал формируется как функция
, а в автомате Мили -
.
Причем - текущее состояние автомата,
- предыдущее состояние автомата.
Таким образом, состояние соответствует группе
, число которых равно количеству различных выходных сигналов
, расположенных на входящих дугах.
Графическая интерпретация этого показана на рис.2.7.
Рис. 2.7.
Пусть дан автомат Мили: .
Требуется перейти к эквивалентному автомату Мура , то есть требуется построить такой автомат Мура :
, что
и
.
Рассмотрим пример. Дан автомат Мили рис.2.8-2.9. Построим множество состояний автомата .
Для этого находим пары:
Переобозначив соответственно как
, получим граф, изображенный на рис.2.8-2.9.
Рис. 2.8.
|
Рис. 2.8. |
Выводы из данной статьи про эквивалентные автоматы преобразование автоматов мура в мили указывают на необходимость использования современных методов для оптимизации любых систем. Надеюсь, что теперь ты понял что такое эквивалентные автоматы преобразование автоматов мура в мили, из мили в мура и для чего все это нужно, а если не понял, или есть замечания, то не стесняйся, пиши или спрашивай в комментариях, с удовольствием отвечу. Для того чтобы глубже понять настоятельно рекомендую изучить всю информацию из категории Теория автоматов
Из статьи мы узнали кратко, но содержательно про эквивалентные автоматы преобразование автоматов мура в мили
Комментарии
Оставить комментарий
Теория цифровых автоматов
Термины: Теория цифровых автоматов