В информатике детерминированный автомат — это концепция теории автоматов , в которой результат перехода из одного состояния в другое определяется входными данными. [1] : 41
Обычный детерминированный автомат — это детерминированный конечный автомат (DFA), который является конечным автоматом, где для каждой пары состояния и входного символа существует один и только один переход в следующее состояние. DFA распознают множество обычных языков и никаких других языков. [1] : 52
Стандартный способ построения детерминированного конечного автомата из недетерминированного конечного автомата — это построение множества . [1] : 44