A learning environment for automata theory and formal languages

AUTOMATA has been developed at the Dipartimento Scienze Informazione of the Università degli Studi di Milano, within the frame of the European project COLOS, locally coordinated by M.A.Alberti.

N.Sabadini has collaborated to the design. A.Botti, A.Faifer and M.Dose have implemented AUTOMATA as part of their Thesis.