文章目錄

• 一、圖靈機設計示例 2
• 二、圖靈機設計示例 3
• 三、圖靈機設計示例 4

一、圖靈機設計示例 2

---

給定語言 : $\mathrm{A}=\{\mathrm{w}|\mathrm{w}包含相同個數的0和1\}$ , 設計出該語言對應的圖靈機 ;

$\mathrm{M}$ 圖靈機算法設計如下 : 算法的描述是雙引號 “” 中的內容 , 這是操作意義上的圖靈機 , 只描述圖靈機讀頭操作 , 沒有必要將圖靈機指令整體設計出來 ;

$\mathrm{M}=$ "在長度為 $\mathrm{n}$ 的字符串 $\mathrm{w}$ 上進行如下計算 :

① 返回帶子最左端 , 從左向右掃描帶子 , 找到 未標記的 $0$ , 標記后 , 轉到 ② 繼續運行 ; 如果沒有找到未標記的 $0$ , 轉到 ③ 運行 ;

② 返回帶子最左端 , 從左向右掃描帶子 , 找到 未標記的 $1$ , 標記后 , 轉到 ① 繼續運行 ; 如果沒有找到未標記的 $1$ , 進入拒絕狀態 ;

③ 返回帶子最左端 , 從左向右掃描帶子 , 找到未標記的 $1$ , 如果有則 進入拒絕狀態 , 如果沒有則 進入接受狀態 ; "

二、圖靈機設計示例 3

---

給定語言 : $\mathrm{A}=\{\mathrm{w}|\mathrm{w}包含0的個數是1的個數的兩倍\}$ , 設計出該語言對應的圖靈機 ;

$\mathrm{M}$ 圖靈機算法設計如下 : 算法的描述是雙引號 “” 中的內容 , 這是操作意義上的圖靈機 , 只描述圖靈機讀頭操作 , 沒有必要將圖靈機指令整體設計出來 ;

$\mathrm{M}=$ "在長度為 $\mathrm{n}$ 的字符串 $\mathrm{w}$ 上進行如下計算 :

① 返回帶子最左端 , 從左向右掃描帶子 , 如果沒有發現 $0$ , 進入拒絕狀態 ;

② 返回帶子最左端 , 從左向右掃描帶子 , 找到 兩個未標記的 $0$ , 標記后 , 轉到 ③ 繼續運行 ; 如果沒有找到未標記的 $0$ , 轉到 ④ 運行 ; 如果發現一個未標記的 $0$ , 進入拒絕狀態 ;

③ 返回帶子最左端 , 從左向右掃描帶子 , 找到 未標記的 $1$ , 標記后 , 轉到 ② 繼續運行 ; 如果沒有找到未標記的 $1$ , 進入拒絕狀態 ;

④ 返回帶子最左端 , 從左向右掃描帶子 , 找到未標記的 $1$ , 如果有則 進入拒絕狀態 , 如果沒有則 進入接受狀態 ; "

三、圖靈機設計示例 4

---

給定語言 : $\mathrm{A}=\{\mathrm{w}|\mathrm{w}包含0的個數不是1的個數的兩倍\}$ , 設計出該語言對應的圖靈機 ;

$\mathrm{M}$ 圖靈機算法設計如下 : 算法的描述是雙引號 “” 中的內容 , 這是操作意義上的圖靈機 , 只描述圖靈機讀頭操作 , 沒有必要將圖靈機指令整體設計出來 ;

$\mathrm{M}=$ "在長度為 $\mathrm{n}$ 的字符串 $\mathrm{w}$ 上進行如下計算 :

① 返回帶子最左端 , 從左向右掃描帶子 , 找到 兩個未標記的 $0$ , 標記后 , 轉到 ② 繼續運行 ; 如果沒有找到未標記的 $0$ , 轉到 ③ 運行 ; 如果發現一個未標記的 $0$ , 進入接受狀態 ;

② 返回帶子最左端 , 從左向右掃描帶子 , 找到 未標記的 $1$ , 標記后 , 轉到 ① 繼續運行 ; 如果沒有找到未標記的 $1$ , 進入拒絕狀態 ;

③ 返回帶子最左端 , 從左向右掃描帶子 , 找到未標記的 $1$ , 如果有則 進入接受狀態 , 如果沒有則 進入拒絕狀態 ; "

總結

以上是生活随笔為你收集整理的【计算理论】计算理论总结 ( 图灵机设计示例 ) ★★的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。