Детермини'рованный автома'т, математическая модель системы, состояния которой меняются в дискретные моменты времени, причём каждое состояние системы полностью определяется предыдущим состоянием и входным сигналом. Д. а. формально описывается в виде функции f (s i , a j ) = a k , где s i — входной сигнал, а a j — предыдущее состояние. Типичный пример Д. а. — цифровая вычислительная машина , в которой состояние всех регистров и ячеек определяется их предыдущим состоянием и входными сигналами. Д. а. являются естественной формой описания логической структуры дискретных вычислительных устройств. Переход к недетерминированным автоматам возможен как путём введения вероятностей смены состоянии (см. Вероятностный автомат ), так и посредством свободного выбора следующего состояния.