一、文法
0型文法又叫短文法,其能力相当于图灵机。满足a—>b中a包含非终结符
1型文法又叫上下文有关文法,其能力相当于线性有界自动机。满足|b|>a ,a->空除外
2型文法又叫上下文无关文法,其能力相当于下推自动机。满足1型文法的同时要求a是非终结符(对比0型文法)
3型文法又叫正规文法,其能力相当于有限状态自动机。满足2型文法要求的同时要求它是右线性或左线性(即A->a|aB或A->a|Ba)。(要么为右线性,要么为左线性,不能两者都占有。只能有一个终结符)
二、确定有限自动机(DFA)和非确定有限自动机(NFA)
M=(S,E,f,s0,Z)
在DFA中s0是唯一的,而在NFA中s0确实一个非空的集合。
NFA转化为DFA的方法采用的是子集法。首先确定NFA的初态集,然后由初态集推出输入每种条件后的状态,对这些状态进行不重复编号,然后将新产生的状态集重复初态集的过程,直到无新状态集产生为止。由每种状态集的编号形成的自动机就是DFA了。
三、正规式与有限自动机的转化
正规式的基本规则如下所示:
转化的原则如下所示:
一个例题: