描述
可计算性、不可解及 NP-难问题。形式语言、语言自动机类别。编译器设计原理、语法分析、解析（自顶向下、自底向上）、二义性、运算符优先级、高效解析器的自动构造、LR、LR(0)、LR(k)、SLR、LL(k)。基于语法的翻译（syntax directed translation）。
先修课程
- 先修课程：MATH 5605。
条件与方式
- 先修课程：MATH 5605。
原文参考文本
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 .
来源与参考
为帮助您核实信息，保留了日期和来源。为便于阅读提供了翻译；以官方来源为准，查看条件和要求。
来源参考 : https://calendar.carleton.ca/grad/courses/MATH/