По способу формирования функций выхода выделяют автоматы Мили и Мура

В автомате Мили функция выходов  определяет значение выходного символа по классической схеме абстрактного автомата. Математическая модель автомата Мили и схема рекуррентных соотношений не отличаются от математической модели и схемы рекуррентных соотношений абстрактного автомата, т.е.

(4)

(5)

Особенностью автомата Мили является то, что функция выходов является двухаргументной и символ в выходном канале y[] обнаруживается только при наличии символа во входном канале x[]. Функциональная схема не отличается от схемы абстрактного автомата .\

Рис. 2. Функциональная схема автомата Мили.

В автомате Мура функция  определяет значение выходного символа только по одному аргументу - состоянию автомата. Эту функцию называют также функцией меток, так как она каждому состоянию автомата ставит метку на выходе. Математическая модель и схема рекуррентных соотношений автомата Мура имеют вид:

(6)

(7)

Особенностью автомата Мура является то, что символ y[] в выходном канале существует все время пока автомат находится в состоянии q[].

Рис. 3 Функциональная схема автомата Мура.

Объединение автоматов Мили и Мура представляет С-автомат, для которого схема рекуррентных соотношений имеет вид:

(7)

Потребность такого автомата возникает при формировании автоматных сетей

.

Рис.4. Функциональная схема С-автомата.

Интересно выделить особые классы автоматов, математические модели которых опираются только на два носителя алгебры.

Пусть X=. Тогда математическая модель и система рекуррентных соотношений имеют вид:

(8)

(9)

Рис.5. Функциональная схема порождающего автомата.

Особенностью функционирования такого автомата является генерация последовательности символов выходного слова только в зависимости от последовательности состояний автомата. Такие автоматы называют порождающими или автономными. С помощью такого автомата генерируется последовательность управляющих команд на какие-либо объекты внешней среды. [3]

Пусть Y=. Тогда математическая модель и система рекуррентных соотношений имеют вид:

(10)

q[1] = (q[];x[]); (11)

Рис. 6. Функциональная схема распознающего автомата.

Особенностью функционирования такого автомата является распознавание в последовательности изменений аргумента функции переходов значения (q_i[];x_i[]) и перевод автомата в заключительное состояние q_k. С помощью такого автомата обнаруживают заданные возмущения со стороны объектов внешней среды или распознают заданную последовательность входных символов. Поэтому такие автоматы называютраспознающими. Часто и автомат Мура представляют автоматом без выхода, так как его выходной сигнал эквивалентен состоянию автомата.

Пусть Q=. Тогда математическая модель и система рекуррентных соотношений имеют вид:

(12)

y[] = (x[]); (13)

.

Рис. 7. Функциональная схема комбинационного автомата.

Особенностью функционирования такого автомата является отсутствие "памяти", т.е. на каждый символ входного алфавита автомат генерирует символ выходного алфавита без учета состояния автомата. Такие автоматы чаще всего называют комбинационными автоматами.

Дата добавления: 2015-07-26; просмотров: 246; Нарушение авторских прав

Мы поможем в написании ваших работ!