Formal Languages, Grammars, and Automata Alessandro Aldini DiSBeF - Sezione STI University of Urbino “Carlo Bo” – Italy