Задание распознающего КА

1) расширенная таблица переходов

2) диаграмма переходов

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

Диаграммой переходов называется ориентированный граф, вершины которого – состояния автомата, а дуги помечены элементами алфавита.

Начальное состояние помечено двойным кружком, а конечные состояния помечены жирными кружками.