Изменения

Перейти к: навигация, поиск

Детерминированные конечные автоматы

78 байт добавлено, 22:55, 30 сентября 2010
Процесс допуска
* Изначально автомат находится в стартовом состоянии
* Ему на вход подается строка
* Далее на каждом шагу автомат берет новый символ строки и совершает соответствующий переход в новое состояние, ''если для символа не задано никакого перехода из текущего состояния, то слово считается недопущенным (в отличие от [[Недетерминированные конечные автоматы|недетерминированного конечного автомата]], где множество переходов может быть пустым)''
* Слово считается допущенным, если после того, как прочитаны все его символы, автомат оказался в допускающем состоянии.
121
правка

Навигация