Aggiunta teoria sugli automi