编译原理知识点(2)

  • 上下文无关文法

也就是2型文法,表明凡出现在产生式左边的符号都是非终结符

  • 正规式和正规集

正规集可以用正规式表达,一个字集合是正规集当且仅当他能用正规式表示

  • 正规式和正规集的递归定义

\varepsilon\o都是正规式,其正规集为\left \{ \varepsilon \right \}\varnothing

对于字母表上的字符a,a是该字母表上的正规式,表示的正规集为\left \{ a \right \}

假设e1,e2都是字母表上的正规式,对应的正规集为L(e1), L(e2)

\left ( e1 | e2 \right )是正规式,对应正规集为L(e1) \bigcup L(e2)

\left ( e1,e2 \right )是正规式,对应正规集为L(e1)L(e2)

(e1)*是正规式,对应正规集为(L(e1))*

若两个正规式表示的正规集相同,则这两个正规式等价,存在交换律,结合律,分配律

  • 有限自动机

对于任何字a,若存在一条从初态到某一末态的道路,则称a被该自动机识别,自动机识别的字的全体记做L(M), 对于两个识别字的全体相同的自动机,称这两个自动机等价

NFA可转化成DFA,利用状态集方法,DFA的化简过程中,对于一个集合中的不同元素,如果接收到了一个字符使得状态到达了不同的已有状态集合中,则该集合应该予以拆分

注:DFA单条弧上只能够是单个字符,不能是一个字符串

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章