Детермини́рованный автома́т, автомат с конечным числом состояний, в котором переход из одного состояния в другое зависит от предшествующего состояния и значения входного сигнала. Детерминированный автомат формально описывается в виде функции $f(s_i,a_j) = a_k,$ где $s_i$ – входной сигнал, $a_j$ – предыдущее состояние. Типичный пример детерминированного автомата – цифровая вычислительная машина, в которой состояние всех регистров и ячеек определяется их предыдущим состоянием и входными сигналами. Детерминированный автомат является естественной формой описания логической структуры дискретных вычислительных устройств.