Modelos de Computación

Antecesora de MAC (rama de CSI). Trata sobre el cálculo de expresiones y gramáticas mediante autómatas finitos (grafos pero no). En la teoría os explicarán que es un autómata finito y como funciona. Veréis expresiones regulares, máquinas de Turing y métodos de normalización. En las prácticas resolveréis problemas de teoría y/o realizaréis un proyecto de analizador léxico.