— Автомат, работа которого определяется двумя функциями:
y(t+1) = F1(x(t), y(t)),
z(t) = F2(x(t),y(t)).
Первая функция задает смену состояний автомата в дискретные такты времени t и называется функцией переходов; вторая - выходные сигналы автомата и называется функцией выхода; x, y, и z - множества двоичных векторов фиксированной длины, т.е. конечные множества. Математической моделью A.K. может служить автоматная грамматика с помощью которой порождается автоматный язык.