Spostati i commenti e modificati per stare in 80 colonne
con il tab di 8 caratteri in stile emacs.
Rinominato main in re-nfa.pl