Тема 1. Абстрактный автомат Лекция 2. Типы конечных автоматов
Конечный автомат Мили По способу формирования функций выхода выделяют автоматы Мили и Мура – В автомате Мили функция выходов ϕ определяет значение выходного символа по классической схеме абстрактного автомата – Математическая модель автомата Мили и схема рекуррентных соотношений не отличаются от математической модели и схемы рекуррентных соотношений абстрактного автомата, т. е. (1. 12) (1. 13) – Особенностью автомата Мили является то, что функция выходов является двухаргументной и символ в выходном канале y[τ] обнаруживается только при наличии символа во входном канале x[τ] – Функциональная схема автоматов Мили и Мура не отличается от схемы абстрактного автомата 2
Конечный автомат Мура – В автомате Мура функция выходов ϕ выходного символа только по одному аргументу - состоянию автомата – Эту функцию называют также функцией меток, так как она каждому состоянию автомата ставит метку на выходе – Математическая модель и схема рекуррентных соотношений автомата Мура имеют вид: (1. 12) (1. 13) – Особенностью автомата Мура является то, что символ y[τ] в выходном канале существует все время пока автомат находится в состоянии q[τ] 3
Конечный С-автомат – Объединение автоматов Мили и Мура представляет С-автомат, для которого схема рекуррентных соотношений имеет вид: (1. 16) – Потребность такого автомата возникает при формировании автоматных сетей Функциональная схема С-автомата
Порождающие автоматы Интересно выделить особые классы автоматов, математические модели которых опираются только на два носителя алгебры – Пусть X=∅. Тогда математическая модель и система рекуррентных соотношений имеют вид: (1. 17) (1. 18) – Особенностью функционирования такого автомата является генерация последовательности символов выходного слова только в зависимости от последовательности состояний автомата – Такие автоматы называют порождающими или автономными – С помощью такого автомата генерируется последовательность управляющих команд на какие-либо объекты внешней среды Функциональная схема порождающего автомата
Распознающие автоматы – Пусть Y=∅. Тогда математическая модель и система рекуррентных соотношений имеют вид: (1. 19) – Особенностью функционирования такого автомата является (1. 20) § распознавание в последовательности изменений аргумента функции переходов значения (qi[ ], xi[ ]) § перевод автомата в заключительное состояние qk – С помощью такого автомата обнаруживают заданные возмущения со стороны объектов внешней среды или распознают заданную последовательность входных символов – Поэтому такие автоматы называют распознающими – Часто и автомат Мура представляют автоматом без выхода, так как его выходной сигнал эквивалентен состоянию автомата Функциональная схема распознающего автомата
Комбинационный автомат – Пусть Q=∅. Тогда математическая модель и система рекуррентных соотношений имеют вид: (1. 21) (1. 22) – Особенностью функционирования такого автомата является отсутствие "памяти", т. е. на каждый символ входного алфавита автомат генерирует символ выходного алфавита без учета состояния автомата – Такие автоматы чаще всего называют комбинационными автоматами Функциональная схема комбинационного автомата
Контрольные вопросы 1. Объясните математическую модель автомата Мили 2. Объясните математическую модель автомата Мура 3. Что такое "порождающий автомат"? Где находит применение? 4. Что такое "распознающий автомат"? Где находит применение? 5. Что такое комбинационный автомат? Где находит применение?
Скачать презентацию Тема 1 Абстрактный автомат Лекция 2 Типы конечных
Лекция 2 Типы автоматов.pptx