L’esame consiste in una prova scritta e un’eventuale prova orale. L’orale sarà richiesto a discrezione del docente. Allo scritto, oltre agli esercizi, potranno esserci domande aperte di teoria.

Per studiare sono disponibili slide, lezioni registrate ed esami svolti. Ulteriori materiali per lo studio sono disponibili sui materiali del corso. Il testo consigliato dal docente è: “J.E. Hopcroft, J.D. Ullman. Introduction to automata theory, languages and computation.Addison-Wesley, 1979”.