文章目錄

• 一、推廣型的非確定性有限自動(dòng)機(jī) ( GNFA ) 引入
• 二、推廣型的非確定性有限自動(dòng)機(jī) ( GNFA ) 刪除狀態(tài)
• 三、確定性有限自動(dòng)機(jī) ( DFA ) 轉(zhuǎn)為 正則表達(dá)式
• 四、確定性有限自動(dòng)機(jī) ( DFA ) 轉(zhuǎn)為 正則表達(dá)式 ( 1 ) 添加開始狀態(tài) $S$ 和結(jié)束狀態(tài) $T$
• 五、確定性有限自動(dòng)機(jī) ( DFA ) 轉(zhuǎn)為 正則表達(dá)式 ( 2 ) 刪除 狀態(tài) $2$ 刪除方法
• 六、確定性有限自動(dòng)機(jī) ( DFA ) 轉(zhuǎn)為 正則表達(dá)式 ( 2 ) 刪除 狀態(tài) $2$ 信息梳理
• 七、確定性有限自動(dòng)機(jī) ( DFA ) 轉(zhuǎn)為 正則表達(dá)式 ( 2 ) 刪除 狀態(tài) $2$ : $1$ -> $2$ -> $3$ 生成信息 $1$ -> $3$
• 八、確定性有限自動(dòng)機(jī) ( DFA ) 轉(zhuǎn)為 正則表達(dá)式 ( 2 ) 刪除 狀態(tài) $2$ : $3$ -> $2$ -> $3$ 生成信息 $3$ -> $3$
• 九、確定性有限自動(dòng)機(jī) ( DFA ) 轉(zhuǎn)為 正則表達(dá)式 ( 2 ) 刪除 狀態(tài) $2$ 階段性結(jié)果
• 十、確定性有限自動(dòng)機(jī) ( DFA ) 轉(zhuǎn)為 正則表達(dá)式 ( 3 ) 刪除 狀態(tài) $1$ 信息梳理
• 十一、確定性有限自動(dòng)機(jī) ( DFA ) 轉(zhuǎn)為 正則表達(dá)式 ( 3 ) 刪除 狀態(tài) $1$ : $3$ -> $1$ -> $3$ 生成信息 $3$ -> $3$
• 十二、確定性有限自動(dòng)機(jī) ( DFA ) 轉(zhuǎn)為 正則表達(dá)式 ( 3 ) 刪除 狀態(tài) $1$ : $S$ -> $1$ -> $3$ 生成信息 $S$ -> $3$
• 十三、確定性有限自動(dòng)機(jī) ( DFA ) 轉(zhuǎn)為 正則表達(dá)式 ( 2 ) 刪除 狀態(tài) $2,1$ 階段性結(jié)果
• 十四、確定性有限自動(dòng)機(jī) ( DFA ) 轉(zhuǎn)為 正則表達(dá)式 ( 4 ) 刪除 狀態(tài) $3$ 信息梳理
• 十五、確定性有限自動(dòng)機(jī) ( DFA ) 轉(zhuǎn)為 正則表達(dá)式 ( 4 ) 刪除 狀態(tài) $3$ : $S$ -> $3$ -> $T$ 生成信息 $S$ -> $T$
• 十六、確定性有限自動(dòng)機(jī) ( DFA ) 轉(zhuǎn)為 正則表達(dá)式 總結(jié)

一、推廣型的非確定性有限自動(dòng)機(jī) ( GNFA ) 引入

---

1 . 給定一個(gè)自動(dòng)機(jī) , 必有一個(gè)正則表達(dá)式可以表示其所識(shí)別的語言 ;

2 . 引入 推廣型的非確定性有限自動(dòng)機(jī) ( GNFA ) : 首先要構(gòu)造一個(gè)推廣的一般型的非確定性有限自動(dòng)機(jī) , 每次消除一個(gè)狀態(tài) , 最后只剩下兩個(gè)狀態(tài) , 此時(shí)箭頭上的正則表達(dá)式就是最終的正則表達(dá)式 ;

上述自動(dòng)機(jī)是一個(gè) 推廣型的非確定性有限自動(dòng)機(jī) ( GNFA ) , 箭頭上 不是單個(gè)字符 或 空字符 , 而是 正則表達(dá)式 ;

3 . 推廣型的非確定性有限自動(dòng)機(jī) ( GNFA ) 中的推廣的體現(xiàn) :

① 非確定性有限自動(dòng)機(jī) ( NFA ) : 箭頭上 只能出現(xiàn) 字符 , 空字符串 , $2$ 種輸入 , 不能出現(xiàn)其它輸入內(nèi)容 ;

② 推廣型的非確定性有限自動(dòng)機(jī) ( GNFA ) : 箭頭上 可以出現(xiàn) 字符 , 空字符串 , 空集 , 正則表達(dá)式 , $4$ 種輸入 ;

4 . 推廣型的非確定性有限自動(dòng)機(jī) ( GNFA ) 與 非確定性有限自動(dòng)機(jī) ( NFA ) 是等價(jià)的 ;

二、推廣型的非確定性有限自動(dòng)機(jī) ( GNFA ) 刪除狀態(tài)

---

給定一個(gè) 推廣型的非確定性有限自動(dòng)機(jī) ( GNFA ) , 找到一個(gè)正則表達(dá)式 , 代表給定自動(dòng)機(jī)的語言 ;

1 . 需求描述 : 上述自動(dòng)機(jī)中 , $R_1,R_2,R_3,R_4$ 都是正則表達(dá)式 ;

刪除 $q_0$ 狀態(tài) : 目前希望能刪除 自動(dòng)機(jī)中的 $q_0$ 狀態(tài) , 刪除 $q_0$ 之后 , 會(huì)省略一部分語言 , 這里 省略了 $R_1,R_2,R_3$ ;

語言要求 : 將 $q_0$ 狀態(tài)刪除后 , 不影響整個(gè)自動(dòng)機(jī)所接受的語言 , 那么需要將省略的部分語言 , 補(bǔ)充到 $R_4$ 中 ;

2 . $R_1,R_2,R_3$ 關(guān)系分析 :

① $R_2$ 星運(yùn)算 : $R_2$ 是一個(gè)循環(huán) , $q_0$ 接受 $R_2$ 后 , 仍然保持 $q_0$ 狀態(tài) , 這里的該循環(huán)的正則表達(dá)式表示為 $(R_2{)}^{?}$ ;

② $R_1$ 與 $(R_2{)}^{?}$ 串聯(lián)運(yùn)算 : $R_1$ 與 $(R_2{)}^{?}$ 是串聯(lián)關(guān)系 , 表示為 $R_1(R_2{)}^{?}$

③ 與 $R_3$ 的串聯(lián)運(yùn)算 : $R_1(R_2{)}^{?}$ 與 $R_3$ 是串聯(lián)關(guān)系 , 表示為 $R_1(R_2{)}^{?}{R}_3$ ;

3 . 并運(yùn)算 : $R_1(R_2{)}^{?}{R}_3$ 與 $R_4$ 是并集關(guān)系 , 都是 $q_i$ 到 $q_j$ 的輸入的正則表達(dá)式 ;

4 . 兩個(gè)正則表達(dá)式并運(yùn)算表示為 : $(R_1(R_2{)}^{?}{R}_3)\cup R_4$

三、確定性有限自動(dòng)機(jī) ( DFA ) 轉(zhuǎn)為 正則表達(dá)式

---

上圖中的自動(dòng)機(jī)是一個(gè) $3$ 個(gè)狀態(tài)的 確定性有限自動(dòng)機(jī) ( DFA ) ;

將上述 確定性有限自動(dòng)機(jī) ( DFA ) 轉(zhuǎn)為正則表達(dá)式 ;

四、確定性有限自動(dòng)機(jī) ( DFA ) 轉(zhuǎn)為 正則表達(dá)式 ( 1 ) 添加開始狀態(tài) $S$ 和結(jié)束狀態(tài) $T$

---

1 . 添加開始和結(jié)束狀態(tài) :

① 添加開始狀態(tài) : 添加新的開始狀態(tài) $S$ , 使用 $\epsilon$ 箭頭指向當(dāng)前 確定性有限自動(dòng)機(jī) ( DFA ) 的 開始狀態(tài) ;

② 添加結(jié)束狀態(tài) : 再次添加一個(gè) 接受狀態(tài) , 從 確定性有限自動(dòng)機(jī) ( DFA ) 的接受狀態(tài) 指向該新的結(jié)束狀態(tài) , 該新添加的結(jié)束狀態(tài) 是 接受狀態(tài) ;

2 . 確定性有限自動(dòng)機(jī) ( DFA ) 轉(zhuǎn)為 正則表達(dá)式 思想 : 逐步刪除 $1,2,3$ 狀態(tài) , 每次刪除一個(gè)狀態(tài) , 生成新的正則表達(dá)式 , 最后就剩下 開始狀態(tài) $S$ , 和結(jié)束狀態(tài) $T$ , 最后剩下的就是 $S$ 到 $T$ 狀態(tài)的正則表達(dá)式 , 也是自動(dòng)機(jī)的正則表達(dá)式 ;

五、確定性有限自動(dòng)機(jī) ( DFA ) 轉(zhuǎn)為 正則表達(dá)式 ( 2 ) 刪除 狀態(tài) $2$ 刪除方法

---

1 . 刪除 $2$ 狀態(tài) :

① 信息抽取轉(zhuǎn)移 : 找到 與 $2$ 狀態(tài) 所有的相關(guān)的信息 , 添加到其它的箭頭上 , 如果沒有創(chuàng)建一個(gè)新的箭頭 ;

② $2$ 狀態(tài)的輸入和輸出 : 哪些狀態(tài) 有箭頭 輸入到 $2$ 狀態(tài) , $2$ 狀態(tài) 有哪些箭頭 輸出到了其它狀態(tài) ;

③ 信息轉(zhuǎn)移 : 將每個(gè)輸入 和 每個(gè)輸出的信息全部轉(zhuǎn)移 , 一條信息也不能遺漏 ;

④ $2$ 狀態(tài)的輸入輸出統(tǒng)計(jì) : 有 $3$ 條輸入 , $2$ 條輸出 ; 其中有 一條輸入輸出是從 $2$ 狀態(tài)輸出指向 它自己 , 共有 $4$ 個(gè)箭頭信
息 ; 外部輸入有 2 條 , 外部輸出 有 $1$ 條 , 需要生成的箭頭信息個(gè)數(shù)是 $外部輸入條數(shù)\times 外部輸出條數(shù)$ ;

2 . $2$ 狀態(tài)的循環(huán) ( $1$ 輸入 $1$ 輸出 ) : $2$ 狀態(tài)下讀取 $b$ , 仍然回到 $2$ 狀態(tài) ; 這 $1$ 個(gè)輸入 , $1$ 個(gè)輸出 , 是從 $2$ 狀態(tài)輸出到 $2$ 狀態(tài) , 這是一個(gè) 星計(jì)算 ; 使用 $b^{?}$ 表示 ;

六、確定性有限自動(dòng)機(jī) ( DFA ) 轉(zhuǎn)為 正則表達(dá)式 ( 2 ) 刪除 狀態(tài) $2$ 信息梳理

---

狀態(tài) $2$ 信息梳理如下 ;

1 . $2$ 狀態(tài)信息輸入 :

$S$ 狀態(tài) 讀取 $\epsilon$ 跳轉(zhuǎn)到 $1$ 狀態(tài) ;

$3$ 狀態(tài) 讀取 $a$ 跳轉(zhuǎn)到 $1$ 狀態(tài) ;

2 . $2$ 狀態(tài)信息輸出 :

$1$ 狀態(tài)讀取 $(a{b}^{?}a)\cup b$ 正則表達(dá)式 跳轉(zhuǎn)到 $3$ 狀態(tài) ;

3 . 箭頭信息生成個(gè)數(shù) : 外部輸入有 2 條 , 外部輸出 有 $1$ 條 , 需要生成的箭頭信息條數(shù) :

$$外部輸入條數(shù)\times 外部輸出條數(shù)=2\times 1=2$$

七、確定性有限自動(dòng)機(jī) ( DFA ) 轉(zhuǎn)為 正則表達(dá)式 ( 2 ) 刪除 狀態(tài) $2$ : $1$ -> $2$ -> $3$ 生成信息 $1$ -> $3$

---

1 . $1$ -> $2$ -> $3$ 狀態(tài)跳轉(zhuǎn) :

$1$ 狀態(tài)讀取 $a$ 跳轉(zhuǎn)到 $2$ 狀態(tài) : 這里是狀態(tài) $2$ 的一條輸入 , 使用 $a$ 表示 ;

$2$ 狀態(tài)讀取 $b$ 跳轉(zhuǎn)到 $2$ 狀態(tài) : 這是無限的星計(jì)算 , 使用 $b^{?}$ 表示 ;

$2$ 狀態(tài)讀取 $a$ 跳轉(zhuǎn)到 $3$ 狀態(tài) : 這里是狀態(tài) $2$ 的一條輸出 , 使用 $a$ 表示 ;

2 . $3$ 個(gè)正則表達(dá)式是串聯(lián)關(guān)系 ;

中間經(jīng)歷的過程是 $1$ 狀態(tài)輸入 $a$ 跳轉(zhuǎn)到 $2$ 狀態(tài) , $2$ 本身可以有無限個(gè)星計(jì)算 , $2$ 狀態(tài)輸入 $a$ 跳轉(zhuǎn)到 $3$ 狀態(tài) ;

使用正則表達(dá)式表示為 $a{b}^{?}a$ ;

4 . 生成箭頭信息 :

$1$ 狀態(tài)下 , 讀取 $a{b}^{?}a$ 正則表達(dá)式 , 可以跳轉(zhuǎn)到 $3$ 狀態(tài) ;

將 $a{b}^{?}a$ 正則表達(dá)式 與 $1$ 到 $3$ 跳轉(zhuǎn)箭頭上的 $b$ 進(jìn)行并計(jì)算 , 得到

$$(a{b}^{?}a)\cup b$$

這是 $1$ 跳轉(zhuǎn)到 $3$ 的正則表達(dá)式 ;

八、確定性有限自動(dòng)機(jī) ( DFA ) 轉(zhuǎn)為 正則表達(dá)式 ( 2 ) 刪除 狀態(tài) $2$ : $3$ -> $2$ -> $3$ 生成信息 $3$ -> $3$

---

1 . $3$ -> $2$ -> $3$ 狀態(tài)跳轉(zhuǎn) :

$3$ 狀態(tài)讀取 $b$ 跳轉(zhuǎn)到 $2$ 狀態(tài) : 這里是狀態(tài) $2$ 的一條輸入 , 使用 $b$ 表示 ;

$2$ 狀態(tài)讀取 $b$ 跳轉(zhuǎn)到 $2$ 狀態(tài) : 這是無限的星計(jì)算 , 使用 $b^{?}$ 表示 ;

$2$ 狀態(tài)讀取 $a$ 跳轉(zhuǎn)到 $3$ 狀態(tài) : 這里是狀態(tài) $2$ 的一條輸出 , 使用 $a$ 表示 ;

2 . $3$ 個(gè)正則表達(dá)式是串聯(lián)關(guān)系 ;

中間經(jīng)歷的過程是 $3$ 狀態(tài)輸入 $b$ 跳轉(zhuǎn)到 $2$ 狀態(tài) , $2$ 本身可以有無限個(gè)星計(jì)算 , $2$ 狀態(tài)輸入 $a$ 跳轉(zhuǎn)到 $3$ 狀態(tài) ;

三者串聯(lián)關(guān)系 , 使用正則表達(dá)式表示為 $b{b}^{?}a$ ;

即 $3$ 狀態(tài)下 , 讀取 $b{b}^{?}a$ 正則表達(dá)式 , 可以跳轉(zhuǎn)到 $3$ 狀態(tài) ;

3 . 生成箭頭信息 :

給 $3$ 狀態(tài)添加一個(gè)箭頭指向它自身 , 箭頭的接收的正則表達(dá)式是

$$b{b}^{?}a$$

這是 $1$ 跳轉(zhuǎn)到 $3$ 的正則表達(dá)式 ; 表示 $3$ 狀態(tài)下接收 $b{b}^{?}a$ 正則表達(dá)式 , 仍然跳轉(zhuǎn)到 $3$ 狀態(tài) ;

九、確定性有限自動(dòng)機(jī) ( DFA ) 轉(zhuǎn)為 正則表達(dá)式 ( 2 ) 刪除 狀態(tài) $2$ 階段性結(jié)果

---

刪除 $2$ 狀態(tài)結(jié)果 :

十、確定性有限自動(dòng)機(jī) ( DFA ) 轉(zhuǎn)為 正則表達(dá)式 ( 3 ) 刪除 狀態(tài) $1$ 信息梳理

---

狀態(tài) $1$ 信息梳理如下 ;

1 . $1$ 狀態(tài)信息輸入 :

$S$ 狀態(tài) 讀取 $\epsilon$ 跳轉(zhuǎn)到 $1$ 狀態(tài) ;

$3$ 狀態(tài) 讀取 $a$ 跳轉(zhuǎn)到 $1$ 狀態(tài) ;

2 . $1$ 狀態(tài)信息輸出 :

$1$ 狀態(tài)讀取 $(a{b}^{?}a)\cup b$ 正則表達(dá)式 跳轉(zhuǎn)到 $3$ 狀態(tài) ;

3 . 箭頭信息生成個(gè)數(shù) : 外部輸入有 2 條 , 外部輸出 有 $1$ 條 , 需要生成的箭頭信息條數(shù) :

$$外部輸入條數(shù)\times 外部輸出條數(shù)=2\times 1=2$$

十一、確定性有限自動(dòng)機(jī) ( DFA ) 轉(zhuǎn)為 正則表達(dá)式 ( 3 ) 刪除 狀態(tài) $1$ : $3$ -> $1$ -> $3$ 生成信息 $3$ -> $3$

---

1 . $3$ -> $1$ -> $3$ 狀態(tài)跳轉(zhuǎn) :

$3$ 狀態(tài) 讀取 $a$ 跳轉(zhuǎn)到 $1$ 狀態(tài) , 正則表達(dá)式 表示為 $a$ ;

$1$ 狀態(tài) 讀取 $(a{b}^{?}a)\cup b$ 正則表達(dá)式 跳轉(zhuǎn)到 $3$ , 正則表達(dá)式 表示為 $(a{b}^{?}a)\cup b$ ;

2 . 正則表達(dá)式 : 上述兩個(gè)正則表達(dá)式是串聯(lián)關(guān)系 , 正則表達(dá)式表示為 $a((a{b}^{?}a)\cup b)$

3 . 生成新的箭頭信息 :

新增加的 $3$ 狀態(tài)下讀取 $a((a{b}^{?}a)\cup b)$ 跳轉(zhuǎn)到 $3$ ;

與原來的 $3$ 讀取 $b{b}^{?}a$ 跳轉(zhuǎn)到 $3$ 是并聯(lián)關(guān)系 ,

最終的 $3$ 讀取一個(gè)正則表達(dá)手 跳轉(zhuǎn)到 $3$ 狀態(tài) , 的正則表達(dá)式為

$$(a((a{b}^{?}a)\cup b))\cup (b{b}^{?}a)$$

十二、確定性有限自動(dòng)機(jī) ( DFA ) 轉(zhuǎn)為 正則表達(dá)式 ( 3 ) 刪除 狀態(tài) $1$ : $S$ -> $1$ -> $3$ 生成信息 $S$ -> $3$

---

1 . $S$ -> $1$ -> $3$ 狀態(tài)跳轉(zhuǎn) :

$S$ 狀態(tài) 讀取 $\epsilon$ 跳轉(zhuǎn)到 $1$ 狀態(tài) , 正則表達(dá)式 表示為 $\epsilon$ ;

$1$ 狀態(tài) 讀取 $(a{b}^{?}a)\cup b$ 正則表達(dá)式 跳轉(zhuǎn)到 $3$ , 正則表達(dá)式 表示為 $(a{b}^{?}a)\cup b$ ;

上述兩個(gè)正則表達(dá)式是串聯(lián)關(guān)系 , 正則表達(dá)式表示為 $\epsilon \cup ((a{b}^{?}a)\cup b)$ , 其中 $\epsilon$ 可以省略 , 最終表示為 $(a{b}^{?}a)\cup b$

2 . 新增加 $S$ 狀態(tài) 到 $3$ 狀態(tài)之間的跳轉(zhuǎn) : $S$ 狀態(tài)下讀取 $(a{b}^{?}a)\cup b$ 正則表達(dá)式 , 跳轉(zhuǎn)到 $3$ 狀態(tài) ;

十三、確定性有限自動(dòng)機(jī) ( DFA ) 轉(zhuǎn)為 正則表達(dá)式 ( 2 ) 刪除 狀態(tài) $2,1$ 階段性結(jié)果

---

十四、確定性有限自動(dòng)機(jī) ( DFA ) 轉(zhuǎn)為 正則表達(dá)式 ( 4 ) 刪除 狀態(tài) $3$ 信息梳理

---

狀態(tài) $3$ 信息梳理 :

1 . $3$ 狀態(tài)信息輸入 :

$S$ 狀態(tài) 讀取 $(a{b}^{?}a)\cup b$ 跳轉(zhuǎn)到 $3$ 狀態(tài) ;

$3$ 狀態(tài) 讀取 $(a((a{b}^{?}a)\cup b))\cup (b{b}^{?}a)$ 跳轉(zhuǎn)到 $3$ 狀態(tài) ;

2 . $3$ 狀態(tài)信息輸出 :

$3$ 狀態(tài) 讀取 $(a((a{b}^{?}a)\cup b))\cup (b{b}^{?}a)$ 跳轉(zhuǎn)到 $3$ 狀態(tài) ;

$3$ 狀態(tài)讀取 $\epsilon$ 正則表達(dá)式 跳轉(zhuǎn)到 $T$ 狀態(tài) ;

3 . 箭頭信息生成個(gè)數(shù) : 自身循環(huán)有一個(gè) , 從 $3$ 狀態(tài) 自身輸出到輸入 , 外部輸入有 1 條 , 外部輸出 有 $1$ 條 , 需要生成的箭頭信息條數(shù) :

$$外部輸入條數(shù)\times 外部輸出條數(shù)=1\times 1=1$$

十五、確定性有限自動(dòng)機(jī) ( DFA ) 轉(zhuǎn)為 正則表達(dá)式 ( 4 ) 刪除 狀態(tài) $3$ : $S$ -> $3$ -> $T$ 生成信息 $S$ -> $T$

---

1 . $S$ -> $3$ -> $T$ 狀態(tài)跳轉(zhuǎn) :

$S$ 狀態(tài) 讀取 $(a{b}^{?}a)\cup b$ 跳轉(zhuǎn)到 $3$ 狀態(tài) ;

$3$ 狀態(tài) 讀取 $(a((a{b}^{?}a)\cup b))\cup (b{b}^{?}a)$ 跳轉(zhuǎn)到 $3$ 狀態(tài) , 星計(jì)算 , 表示成 $(a((a{b}^{?}a)\cup b))\cup (b{b}^{?}a{)}^{?}$

$3$ 狀態(tài)讀取 $\epsilon$ 正則表達(dá)式 跳轉(zhuǎn)到 $T$ 狀態(tài) ;

上述 $3$ 個(gè)正則表達(dá)式是串聯(lián)關(guān)系 , 正則表達(dá)式表示為 :

$$((a{b}^{?}a)\cup b)°((a((a{b}^{?}a)\cup b))\cup (b{b}^{?}a){)}^{?}$$

2 . 新增加 $S$ 狀態(tài) 到 $T$ 狀態(tài)之間的跳轉(zhuǎn) : $S$ 狀態(tài)下讀取 $((a{b}^{?}a)\cup b)°((a((a{b}^{?}a)\cup b))\cup (b{b}^{?}a){)}^{?}$ 正則表達(dá)式 , 跳轉(zhuǎn)到 $T$ 狀態(tài) ;

十六、確定性有限自動(dòng)機(jī) ( DFA ) 轉(zhuǎn)為 正則表達(dá)式 總結(jié)

---

由上述示例可知 , 任何 確定性有限自動(dòng)機(jī) 都可以轉(zhuǎn)為 正則表達(dá)式 , 非確定性有限自動(dòng)機(jī) 與 確定性有限自動(dòng)機(jī) 又是等價(jià)的 , 因此 有限自動(dòng)機(jī) 都可以轉(zhuǎn)為 正則表達(dá)式 ;

總結(jié)

以上是生活随笔為你收集整理的【计算理论】正则语言 ( 推广型的非确定性有限自动机 GNFA | 删除状态 | 确定性有限自动机 转为 正则表达式 )的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。