编译原理期末复习

正规式（正则表达式）：可以描述所有通过对某个字母表上的符号串集合应用并、连接和闭包运算而得到的语言，是一种描述字符串构成模式的方法，可以用来检查一个字符串是否含有某种特定的子模式串

若两个正则表达式所表示的正规集相同，则认为两者是等价的。

正规文法：文法G=(VN，VT，P，S)中的每个产生式的形式都是A→aB或A→a，其中A和B都是非终结符，a是终结符串。

０型文法(短文文法)： G的每个产生式αβ满足：α∈V+且α中至少含有一个非终结符,β∈V*
１型文法(上下文有关文法)：如果G的每个产生式α β均满足|β|>=|α|,仅当Ｓε除外，但S不得出现在任何产生式的右部
２型文法(上下文无关文法)：G的每个产生式为Aβ, A是一非终结符，β∈V*
３型文法(正规文法)：G的每个产生式的形式都是：AαB或Aα，其中A,B是非终结符，α是终结符串。(右线性文法)