有穷自动机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:下推栈栈初始符。