Изменения

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

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

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

Навигация