Description
Calculabilité, problèmes insolubles et NP-difficiles. Langages formels, classes d’automates de langage. Principes de la conception de compilateurs, analyse syntaxique, parsing (top-down, bottom-up), ambiguïté, priorité des opérateurs, construction automatique de parseurs efficaces, LR, LR(O), LR(k), SLR, LL(k). Traduction dirigée par la syntaxe.
Préalables
- Prérequis : MATH 5605 .
Conditions et modalités
- Prérequis : MATH 5605 .
Texte de référence dans sa langue d’origine
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 .
Sources et références
Les dates et les sources sont conservées pour vous aider à vérifier les renseignements. Les traductions sont proposées pour faciliter la lecture; la source officielle fait référence pour les conditions et les exigences.
Référence source : https://calendar.carleton.ca/grad/courses/MATH/