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.