- 上下文无关文法
也就是2型文法,表明凡出现在产生式左边的符号都是非终结符
- 正规式和正规集
正规集可以用正规式表达,一个字集合是正规集当且仅当他能用正规式表示
- 正规式和正规集的递归定义
和都是正规式,其正规集为和
对于字母表上的字符a,a是该字母表上的正规式,表示的正规集为
假设e1,e2都是字母表上的正规式,对应的正规集为
则是正规式,对应正规集为
是正规式,对应正规集为
是正规式,对应正规集为
若两个正规式表示的正规集相同,则这两个正规式等价,存在交换律,结合律,分配律
- 有限自动机
对于任何字,若存在一条从初态到某一末态的道路,则称被该自动机识别,自动机识别的字的全体记做, 对于两个识别字的全体相同的自动机,称这两个自动机等价
NFA可转化成DFA,利用状态集方法,DFA的化简过程中,对于一个集合中的不同元素,如果接收到了一个字符使得状态到达了不同的已有状态集合中,则该集合应该予以拆分
注:DFA单条弧上只能够是单个字符,不能是一个字符串