Abstract Syntax Tree
语法制导翻译
语法制导翻译
最右推导(优先推导最右侧非终结符)逆过程
为数据分配计算资源:
Getting Started
Parser
Mark and Sweep
Structure
IR:
Type System
Tokenizer
Structure
e.g. 变量/函数必须先声明再使用; 每个表达式必须有合适类型(左值/右值); 函数调用与函数定义保持一致(函数签名)
Workflow
- 从开始符号出发推导任意句子 t, 与给定句子 s 进行比较分析