2024.10.15

G={Vt,Vn,S,P}

Vt：非空有限集合的符号，它的每个元素称为终结符号 Vn：非空有限集合的符号，它的每个元素称为非终结符号 S：文法G的开始符号              P：非空有限集合，它的元素称为产生式

正则闭包：A+ = A1 U A2 U A3 U ... U An U ... (也就是所有幂的组合)

闭包：A* = A0 U A+(在正则闭包的基础上，加上A0 = { })

例如：ab* = {ab,abab,ababab,..., }

类型	别称	说明	对应自动机
0 型	短语文法	G的每一条产生式 满足 属于V的正则闭包且至少含有一个非终结符，而属于V的闭包	图灵机
1 型	上下文有关文法	G的任何产生式 满足| |<=| |,仅仅S 例外,但S不得出现在任何产生式右部	线性界限自动机
2 型	上下文无关文法	G的任何产生式 ，A为非终结符， 为V的闭包	非确定的下推自动机
3 型	正规文法	G的任何产生式 B或 ， 属于非终结符的闭包，A,B都属于非终结符	有限自动机