2012.10.12(编译原理）

有穷自动机DFA五元组 DFA=（Q，Σ，T，qo，F）

Q：非空有穷状态集

Σ：输入字母表

t：映射

qo：开始状态

F：终止状态

非确定有穷自动机 NDFA=（Q，Σ，T，Qo，F）

语法分析是编译程序的核心部分。

语法分析的任务：识别由词法分析得出的单词库序列是否是给定文法的句子。

 

下推自动机（PDA）和FA（有限自动机）的模型相比，多了一个下推栈。

PDF的动作由三个因素来决定：当前状态，读头所指向符号，下推栈栈顶符号。

PDF是一个七元组：M=（Q，Σ，H，a，qo，Zo，F）

H：下推栈内容字母表

a:下推栈的栈内容字母表。

Zo：下推栈栈初始符。