Выдержка из книги
Глушков В.М.
Синтез цифровых автоматов
Цифровые автоматы, в которых выходной сигнал y ( t) определяется парой ( x ( t), a ( t - 1)), мы будем называть автоматами первого рода, а автоматы, в которых сигнал y ( t) определяется парой ( x ( t), a ( t)) - автоматами второго рода.