Теория автоматов — единый подход в описании технических и программных средств определил понятие «автомат» как математическую модель системы, обеспечивающей приём, хранение и обработку информации. Ограничение числа параметров математической модели определило другое понятие — «конечный автомат».