Переход от НДКА к ДКА

Т.о. имеем три альтернативных состояний X Y

Z

заменяем(«склеиваем») на одно. Пр.

Пусть имеем таблицу переходов

Переход от НДКА к ДКА

Алгоритмы

В таблице находим строчки с переходами в несколько сотояний (т.е. находим строчки из какого состояния автомат перешел в два состояния , т.е. гле имеем недетерминированность ).

Такие строчки:

q0 под воздействием входного сигнала x3 автомат переходит в состояния q1,q3

q10 под воздействием входного сигнала x2 автомат переходит в состояния q13,q17.

Если склеить q1 и q3 в q1,3 и склеить q13 и q17 в одно состояние q1,3 и q13,17 , то недетерминированность исчезает.

Переход от НДКА к ДКА Пр.

Переход от НДКА к ДКА

Сотавляем таблицу.

Переход от НДКА к ДКА

Символ означает , что автомат завершил работу и более не принмает символы.

Переход от НДКА к ДКА 1. Начальное состояние не меняем

Cоставим новые сочетания :

т.к. имеем всего три вершины , т.е. имеем множество {S, B, K} , то получим сочетания:

SB , SK , BK, SBK

Тогда получим таблицу:

Переход от НДКА к ДКА

Переход от НДКА к ДКА

Переход от НДКА к ДКА

Далее минимизируем и получаем, т.е. когда состояния дублируют одни и те же действия и состояния в которые мы никогда не попадем (или для проверки напр. обеденив вершины B и K в исходном НДКА)

Рекурсивные функции

Выделяется базис элементарных функций(т.е. интуитивно вычислимых и средства -операторы получения из них более сложных функций).

1.Константа нуля 0(x)=0

2.Функция следования

S(x)= x+1 - cледование - вычисление следующего натурального числа

3. Выбор аргумента Xm из n аргументов. Im(x1, x2, ... xn)= xm