Детерминированный автомат
В информатике — детерминированный автомат это концепция теории автоматов , в которой результат перехода из одного состояния в другое определяется входными данными. [1] : 41
Обычный детерминированный автомат — это детерминированный конечный автомат (DFA), который представляет собой конечный автомат, в котором для каждой пары состояния и входного символа существует один и только один переход в следующее состояние. DFA распознают набор обычных языков и никакие другие языки. [1] : 52
Стандартным способом построения детерминированного конечного автомата из недетерминированного конечного автомата является построение степенного множества . [1] : 44
Ссылки [ править ]
- ↑ Перейти обратно: Перейти обратно: а б с Андерсон, Джеймс А. (2006). Теория автоматов с современными приложениями . При участии Тома Хэда. Кембридж: Издательство Кембриджского университета . ISBN 0-521-61324-8 . Збл 1127.68049 .