автомат, у к-рого множество состояний, а также множество входных и выходных сигналов являются конечными. К. а. может быть моделью технич. устройства (ЭВМ, релейное устройство) либо биол. системы (идеализир. нервная система животного). Важными направлениями теории К. а. (помимо традиц. задач и синтеза автоматич. систем управления), имеющими большое практич. значение, являются синтез надёжных элементов из ненадёжных компонентов и исследование поведения К. а. в случайных средах (задача построения К. а., действующего наиболее целесообразно в определ. смысле при заданной вероятности появления разл. входных воздействий).