1.引言
1)语法分析的地位:是编译程序的核心部分。
2)语法分析的任务:识别由词法分析得到的单词序列是否是给定文法的句子。
3)语法分析的理论基础:上下文无关文法和下推自动机。
4)语法分析的方式:(1)自上而下语法分析:反复使用不同产生式进行推导以谋求与输入符号串相匹配。(2)自下而上语法分析:对输入符号串寻找不同产生式进行规约直到文法开始符号。注:这里所说的输入符号指词法分析所识别的单词。
2.下推自动机:
1)下推自动机模型



2)下推自动机的形式定义:
注:a.由此定义的PDA肯定是不确定的PDA。这给语法分析会带来不确定性。我们在构造PDA M的算法的时候,要对PDA做一些限制。b.PDA采用“|-”来表示PDA做了一步动作。C.输入串能为PDA所接受,仅当输入串读完,下推栈为空;或者输入串读完,控制器到达某些终态。D.有时,下推自动机还配置输出带,以记录推导或规约过程所有的产生式编号。e.对于形如A->ω的产生式,有§(q,空串,A)=(q,ω),这称为推导。

