單詞的表示形式
用二元式來表示 《單詞種別,單詞符號的屬性值》
單詞符號的屬性:指單詞符號的特性或特徵。
單詞符號的屬性值:反映單詞特性或特徵的值。
4 狀態轉換圖法
(1)狀態轉換圖:一張有限方向圖
(2)狀態轉換圖的功能
識別(接受)一定的符號串(單詞)
正規式與正規集
我們可以把具有相同特徵的字放在一起組成乙個集合,即所謂的正規集
然後使用一種形式化的方法來表示正規集,即所謂的正規式。
注意:正規式是描述單詞結構的一種形式;
正規集是該類單詞的全集。
1.確定的有限自動機
1.定義:乙個確定有限自動機(dfa)m是乙個五元式:
m = (s, ∑, f, s0, f),其中
1.s是乙個有限的狀態集合,它的每個元素我們稱為乙個狀態
2.∑是乙個有窮的輸入符號的字母表,它的每個元素我們稱為乙個輸入字元
3.f是從 s×∑ →s的單值部分對映
4.s0是s的乙個元素,為初始狀態,它是唯一的
5.狀態集合f是終止狀態的集合,它是s的子集(可空)
2.非確定的有限自動機
1.定義:乙個非確定有限自動機(nfa)m是乙個五元式
m = (s, ∑, f, s0, f),其中
1.s是乙個有限的狀態集合,它的每個元素我們稱為乙個狀態
2.∑是乙個有限的輸入符號的字母表,它的每個元素我們稱為乙個輸入字元
3.f是從s×∑*→2s 的部分對映,其中,2s表示s的冪集合(所有s的子集組成的集合)(f是非單值的m是非確定)
4.狀態集合s0是初始狀態集合,它是s的子集
5.狀態集合f是終止狀態的集合,它是s的子集
3.正規式與有限自動機的等價性
定理1:對於任何∑上nfa m都可構造乙個∑上的正規式v,使得 l(v) = l(m)
其中,l(m)是∑上nfa m所能識別的字的全體l(v)是∑上的正規集
習題:
這一章學習了詞法分析器的設計,如何畫狀態轉化圖,dfa,nfa。正規式和有限自動機的等價性,dfa的
化簡。其中,dfa的化簡最讓我深刻。通過這一章的學習,我對這門課程有了更深的理解。相比上一章,難度又增加了不少。
編譯原理 第三章
一,知識點 1.正規式與正規集的定義 遞迴的定義方法 1 和 是 上的正規式,它們所表示的正規集分別為和 2 任何a 是 上的乙個正規式,他所表示的正規集為 3 假定u和v都是 上的正規式,他們所表示的正規集分別記為l u 和l v 那麼 a u v 是正規式,所表示的正規集為l u l v b u...
編譯原理第三章總結
就像單詞是我們理解文章的基本單位,編譯程式是在單詞的級別上分析源程式的。詞法分析就是從左至右逐個字元掃瞄源程式,把字元變成單詞,把字串變成單詞符號串。執行詞法分析的程式叫詞法分析器。向它輸入源程式,就能輸出單詞符號。這些單詞符號包括關鍵字 識別符號 常數 運算子和界符。輸出時表示成這種形式 單詞種別...
編譯原理第三章學習總結
編譯原理第三章學習總結 第三章的主要內容是詞法分析,首先對於詞法分析的概念與任務來講,可以說它是編譯的基礎,所要任務是從左至右逐個字元地對源程式進行掃瞄,產生乙個個單詞符號從而將作為字串的源程式改造成單詞符號串的中間程式,主要功能便可簡化為 輸入源程式,輸出單詞符號 單詞符號的定義是乙個程式語言的基...