编译原理

文法：

终结符：是不能在元素左边的，不可以被拆分。一般用小写字母表示

非终结符，可以理解一个可以拆分的元素。一般用大写字母表示

 

文法的类型：

0型文法，也称为短语文法，能力相当于图灵机，0型文语言都是递归可枚举的。只要包含一个非终结符就可以，限制是最少的。

1型文法，也叫上下有关文法,且 ｜B｜>=|a|

2型文法，也叫上下无关文法，是在1型文法的基础上，a是一个非终结符。程序设计语言的语法都是2型文法。

3型文法，也叫正规文法，对应于有限状态自动机。是在2型文法基础上满足 A->a|aB或A－>a|Ba

 

有限自动机：

DFA：确定的有限自动机

NFA：不确定的有限自动机。转化的话是用的子集法。

正规式与有限自动机转换

 

语法推导树：

推导树到文法，只需要顺次把叶子结点写出来就是文法。

算符优先：

符号是大于、小于、等于，中间多了一个点。

上箭头代表指数运算，是右边的优先级高于左边的（先进行右边的计算）。

其他则符合左优先。

如2016年上半年

第48题:移进—归约分析法是编译程序(或解释程序)对高级语言源程序进行语法分析的一种
方法,属于(48)的语法分析方法。
A. 自顶向下(或自上而下)
B. 自底向上(或自下而上)
C. 自左向右
D. 自右向左

答：补充下此部分知识：

从输入串出发，反复利用产生式做归约 （用产生式的左部替代右部），自底向上逐步构造语法分析树，直至得到文法的开始符号。最终若栈中剩下句子右界符“$"和文法的开始符号，则所分析的输入符号串是文法的正确句子，否则，就不是文法的正确句子，报告错误。

不管哪种自下而上的分析法都是按照”移进 - 规约“法的原理建立起来的一种语法分析方法。