Descripción
Computabilidad, problemas insolubles y NP-duros. Lenguajes formales, clases de autómatas de lenguajes. Principios del diseño de compiladores, análisis sintáctico, parsing (de arriba hacia abajo, de abajo hacia arriba), ambigüedad, precedencia de operadores, construcción automática de analizadores eficientes, LR, LR(0), LR(k), SLR, LL(k). Traducción dirigida por la sintaxis.
Prerrequisitos
- Requisito(s): MATH 5605.
Condiciones y modalidades
- Requisito(s): MATH 5605.
Texto de referencia en su idioma de origen
Computability, unsolvable and NP-hard problems. Formal languages, classes of language automata. Principles of compiler design, syntax analysis, parsing (top-down, bottom-up), ambiguity, operator precedence, automatic construction of efficient parsers, LR, LR(O), LR(k), SLR, LL(k). Syntax directed translation.
- Prerequisite(s): MATH 5605 .
Fuentes y referencias
Se conservan las fechas y las fuentes para ayudarle a verificar la información. Las traducciones se proponen para facilitar la lectura; la fuente oficial es la referencia para las condiciones y los requisitos.
Referencia de la fuente : https://calendar.carleton.ca/grad/courses/MATH/