Детерминированный автомат

Определение "Детерминированный автомат" в Большой Советской Энциклопедии

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