Tema Subtema
Introducció (3h). Conceptes bàsics: alfabets, cadenes, llenguatges.

Llenguatges regulars (20h). Autòmats finits deterministes i no deterministes. Expressions regulars. Equivalències. Minimització d'autòmats. Propietats.
Llenguatges incontextuals (20h). Gramàtiques incontextuals. Arbres de derivació i ambigüitat. Simplificació de gramàtiques i formes normals. Gramàtiques regulars. Autòmats de pila. Equivalències. Propietats.
Altres llenguatges formals (2h). Jerarquia de Chomsky.