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

ДЕТЕРМИНИРОВАННЫЙ АВТОМАТ, автомат с конечным числом состояний, в котором переход из одного состояния в другое зависит от предшествующего состояния и значения входного сигнала. Детерминированный автомат формально описывается в виде функции f(s_i,a_j) = a_k, где s_i - входной сигнал, a_j - предыдущее состояние. Типичный пример детерминированного автомата - цифровая вычислительная машина, в которой состояние всех регистров и ячеек определяется их предыдущим состоянием и входными сигналами. Детерминированные автоматы являются естественной формой описания логической структуры дискретных вычислительных устройств.