Se dovessi scrivere un automa a stati finiti per ogni parsing da effettuare sarei ancora qui a finire di scrivere il primo "hello world"...
Tra l'altro l'operatore >> molto probabilmente in diverse implementazioni è scritto con un automa a stati finiti.