Хм, странно. Почему-то в книге Варшавского В.И. ``Коллективное поведение автоматов'' на стр. 24 конечным автоматом называется автомат Мура. А в википедии конечным автоматом называется астрактый автомат без выходного потока. Я запутался.
А с этим определением вообще сплошная путаница.
Например, сравните английскую и русскую статью в Вики про детерминированные конечные автоматы. Там определения различаются
