Ивайло, прав си, в заглавието има допусната грешка, трябва да пише само "крайни автомати". За проекта трябва да бъдат реализирани и двата вида автомати.
Относно потоковите операции: правилно си разбрал идеята, само че низът се подава като параметър, а не идва то стандартния вход. Следвайки идеята за нотациите на потока (да отбелязват посоката на протичането на информацията) би трябвало нотацията да е automaton << string или string >> automaton.