математическая модель автомата, определенная заданием множеств входных сигналов, внутренних состояний и выходных сигналов. Автомат асинхронный — автомат с внутренними контурами обратной связи, в котором очередная комбинация входных сигналов может быть принята лишь после обработки предшествующей комбинации.