Esame che riguarda il formalismo di linguaggi e grammatiche, il funzionamento di riconoscitori, generatori, interpreti e compilatori, oltre che le peculiarità dei linguaggi blended come Javascript, Scala e Kotlin, accompagnate da riflessioni sui diversi modelli computazionali.