Выдержка из книги
Глушков В.М.
Синтез цифровых автоматов
Произвольные автоматы первого рода мы будем, как отмечено в § 4 гл. I, называть в дальнейшем автоматами Мили, а частный случай автоматов второго рода, у которых сдвинутая функция выходов К ( а х) не зависит от второй переменной х - автоматами Мура. Автомат будет называться конечным или бесконечным в соответствии с тем, конечно или бесконечно множество его состояний.
