В информатике детерминированный автомат - это концепция теории автоматов, в которой результат перехода от единицы состояние для другого определяется входом.
Обычный детерминированный автомат - это детерминированный конечный автомат (DFA), который является конечным автоматом, где для каждой пары состояний а входной символ - это один и только один переход в следующее состояние. DFA распознают набор обычных языков и никаких других языков.
Стандартный способ построения детерминированного конечного автомата из недетерминированного конечного автомата это конструкция powerset.
.