看看實際效果
圖靈機狀態圖範例。
同一款工具，四種需求。下方每張圖都是實際產生的成果。
輸入內容
繪製一台一元遞增的圖靈機：在 q0 讀取 1、寫入 1 並向右移動；讀到空白 B 時寫入 1、停留原處，並進入接受狀態 qa。
接著試試將機器改成擦除最後一個一元 1。為輸入符號 0 新增拒絕狀態。
狀態圖 · OMG UML 2.5.1 §14 + Harel (1987) statechart · schematex-state
產生的圖表
什麼是圖靈機狀態圖。
圖靈機狀態圖是描述一台在無限延伸磁帶上讀取與寫入符號之機器的狀態圖。轉移標籤通常記錄讀取／寫入／移動，例如 1/0,L：讀取 1、寫入 0，並將磁頭向左移動。
狀態圖會標示控制狀態，以及決定下一個狀態的磁帶操作。接受與拒絕的停止狀態能清楚呈現計算結果。
- Standard
- OMG UML 2.5.1 §14 + Harel (1987) statechart
- Engine
- schematex-state
- Editable
- Double-click text, drag nodes
- Export
- SVG · PNG · PDF
適用對象
誰會使用圖靈機狀態圖。
用來練習讀取轉移函數與磁帶操作的小型一元機器。
用來標示可辨識 a^n b^n 等語言的演算法，涵蓋有限自動機無法處理的情況。
展示機器如何從一個輸入區塊移動到另一個輸入區塊的兩階段磁帶掃描。
運作方式
三個步驟製作圖靈機狀態圖。
01
描述需求
寫一段話就能開始。
“繪製一台一元遞增的圖靈機：在 q0 讀取 1、寫入 1 並向右移動；讀到空白 B 時寫入 1、停留原處，並進入接受狀態 qa。”
02
查看圖表
由合適的繪圖引擎產生。
03
提出修改
每次修改都會保留版本。
將機器改成擦除最後一個一元 1。
V2 · DRAWN FROM V1, NOTHING RETYPED常見問題
常見問題
圖靈機轉移標籤會顯示什麼？
它會顯示讀取的磁帶符號、寫入的符號，以及磁頭移動的方向。例如，1/B,R 表示讀取 1、寫入空白，並向右移動。
接受與拒絕狀態如何表示？
接受狀態是停止的最終狀態，通常以雙圓表示。當機器需要呈現明確的失敗停止時，也可以加入獨立的拒絕狀態。
如何描述一台圖靈機？
先說明輸入字母表、語言或任務，再描述機器在各階段的行為：讀取什麼、寫入什麼、移過什麼，以及何時停止。
L、R 和 S 分別代表什麼？
它們代表磁頭移動：L 向左移動，R 向右移動，S 讓磁頭停留在目前的磁帶格。
圖靈機狀態圖可以呈現標記演算法嗎？
可以。請命名標記符號，並說明哪些輸入符號會配對或略過。狀態圖可以呈現掃描、標記、返回與檢查等階段。
相關工具
