文法:
0型文法:
限制条件少,左边必须包含元素或者元素组合中至少一个非终结符,右边可以是元素的任意组合;
例:A——>a;
1型文法(上下文有关文法)
在0型文法基础上,添加了一个要求:右边长度>=左边长度;
例:B——>dba;
2型文法(上下文无关文法)
在1型文法基础上,添加了一个要求:左边必须是非终结符;
(A、B为非终结符;a、b是终结符)
3型文法(正规文法)
2型文法基础上,添加了一个要求:要么一个非终结符推出一个终结符;要么一个非终结符推出一个终结符并带一个非终结符;
A——>a | aB;
正规式与文法之间的转换:
NFA转化为DFA:
比较复杂,还没有理解;理解了再分享;
参考链接