Функции заключительного состояния и заключительного выхода

Расширим функции и , определив их на множестве пар:

(состояние, входное слово)

Обозначим: - -е входное слово длиной символов;

- слово длиной нуль (пустое слово);

- множество всех конечных входных слов ненулевой длины: .

Функция заключительного состояния: на множестве определяется следующим образом:

1. для всех ;

2.

1) , если определена для всех ; ;

2) не определена в противном случае.

- это заключительное состояние, в который перейдет автомат из состояния под действием входного слова .

Функция заключительного выхода .

Модель Мура:

	, для , если определена
Не определена, если не определена

Модель Мили:

	, , если определена
Не определена, если не определена

Функция заключительного выхода – это выходной сигнал, который появляется в результате действия последнего символа цепочки :

- в модели Мура – это выходной сигнал отмечающий заключительное состояние;

- в модели Мили – это выходной сигнал, появляющийся на переходе в заключительное состояние.

Пример для автомата (Мили) введенного ранее.

Найдем

Решение

Последний переход , поэтому .