2014-02-12 4 views
2

У нас может быть Deterministic Finite Automata (DFA) без конечного состояния. Это значит! Что означает Deterministic Finite Automata (DFA) без конечного состояния?DFA без конечного состояния

Thanks

+1

Обратите внимание, что существует разница между «конечным» и «окончательным». Конечное означает конечное число состояний. Почему это должно быть проблемой? Конечно, автоматы _does_ имеют конечное число состояний. Все остальное было бы удивительным. – arkascha

+0

Хорошо! Вопрос отредактирован. Спасибо –

+1

Все еще не вопрос, который имеет смысл. Почему DFA требует конечного состояния? Кто это говорит? Это может продолжаться в кругах, где проблема? На самом деле большинство DFAs ... – arkascha

ответ

1

Да Возможно. Если автомат не является акцептором, а преобразователем, то окончательное состояние не требуется.

Любой класс автоматизации может быть без конечного состояния! Автоматы можно рассматривать как конечное представление формального языка (который может быть бесконечным множеством). Автоматы с конечным состоянием (состояниями) называются акцепторами. Например, DFA в качестве акцептора принимает или отклоняет строку и представляет собой обычный язык.

Но другая модель автоматов называется transducer, которая может не иметь конечного состояния. Целью автоматов как преобразователя является выходная строка для данной входной строки. Пример для finite state machine as transducer - машина Мили и Мур.

Смежные вопросы