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