-Поиск по дневнику

Поиск сообщений в zhurnalist

 -Подписка по e-mail

 

 -Статистика

Статистика LiveInternet.ru: показано количество хитов и посетителей
Создан: 26.11.2010
Записей:
Комментариев:
Написано: 18

Связь между моделями Мили и Мура

Дневник

Среда, 22 Декабря 2010 г. 21:04 + в цитатник
Всякое отображение входных последовательностей в выходные может быть реализовано как с помощью модели Мили, так и с помощью модели Мура. Определим преобразование, переводящее любой автомат Мили в эквивалентный ему автомат Мура, а также преобразование, переводящее любой автомат Мура в эквивалентный ему автомат Мили.
Пусть задан автомат Мура М = (A, B, Q, , ) и требуется получить эквивалентный ему автомат Мили М = (A, B, Q, , ).
Очевидно, А = А и В = В. Положим Q = Q и = , а определим следующим образом. Пусть (a, q) q и (q) b, где q, q Q, a А и b В. Это означает, что автомат, будучи в состоянии q, отвечает на входной символ а выходным символом b, который выдается в следующий момент времени, когда автомат окажется в состоянии q. Следовательно, можно считать, что (а, q) b. Автомат Мура и эквивалентный ему автомат Мили представлены в табл. 18.6 и 18.7 соответственно.
Пусть теперь задан автомат Мили М = (A, B, Q, , ) и требуется получить эквивалентный ему автомат Мура М = (A, B, Q, , ). Как и в предыдущем случае, имеем А = А и В = В. Определим Q следующим образом. Рассмотрим все такие пары вида (q, b), где q Q, b B, что для каждой (q, b) имеется такая пара (a, q), что (a, q) q и (a, q) b (a A, q Q). Каждой паре (q, b) поставим в соответствие состояние q Q и определим функции и следующим образом:

(a, q) (a, (q, b)) ((a, q), (a, q)); (q) ((q, b)) b.

Метки:  

 Страницы: [1]