Lenguajes y Autómatas II

La teoría de autómatas es el estudio de dispositivos de cálculo abstractos, es decir, de las “máquinas”. Antes de que existieran las computadoras, en la década de los años treinta, A. Turing estudió una máquina abstracta que tenía todas las capacidades de las computadoras de hoy día, al menos en lo que respecta a lo que podían calcular. El objetivo de Turing era describir de forma precisa los límites entre lo que una máquina de cálculo podía y no podía hacer.

Temas de la unidad 1

1.1 Arboles de expresiones.
1.2 Acciones semánticas de un analizador sintáctico
1.3 Comprobaciones de tipos en expresiones
1.4 Pila semántica en un analizador sintáctico
1.5 Esquema de traducción
1.6 Generación de la tabla de símbolo y de direcciones
1.7 Manejo de errores semánticos