Descrição
Computabilidade, problemas insolúveis e NP-difíceis. Linguagens formais, classes de autómatos de linguagem. Princípios de projeto de compiladores, análise sintática, parsing (top-down, bottom-up), ambiguidade, precedência de operadores, construção automática de analisadores eficientes, LR, LR(O), LR(k), SLR, LL(k). Tradução dirigida pela sintaxe.
Pré-requisitos
- Pré-requisito(s): MATH 5605.
Condições e modalidades
- Pré-requisito(s): MATH 5605.
Texto de referência na sua língua de origem
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 .
Fontes e referências
As datas e as fontes são mantidas para ajudá-lo a verificar os dados. As traduções são propostas para facilitar a leitura; a fonte oficial é a referência para condições e exigências.
Fonte de referência : https://calendar.carleton.ca/grad/courses/MATH/