L'esame è composto da una prova scritta, orientata
all'accertamento della capacità del candidato di risolvere
esercizi nell'ambito dei linguaggi formali e della teoria della
calcolabilità, ed una prova orale, principalmente orientata
all'accertamento della conoscenza dei principali risultati della
teoria vista a lezione.