網頁圖靈機
單帶 · 可視化 · 可編輯轉移表
說明
點樣用
狀態
:機嘅內部控制;由起始狀態出發,跟住轉移表轉。接受/拒絕狀態一到就停機。
紙帶
:無限格,每格一個符號;空白用 □(輸入可用 _)。讀頭會喺畫面標出。
轉移 δ(q, 符號)
:寫入新符號、移左/右/留低,再轉去下一狀態。冇對應轉移就會「卡住」。
揀內建範例,或者自己改轉移表後撳「套用程式」,再單步或執行。
初始紙帶
套用並重設
左右滑動紙帶;黃色格係讀頭位置。
單步
執行
重設
速度
5
當前狀態
—
讀取符號
—
步數
0
結果
就緒
最近轉移
—
程式編輯
範例
起始狀態
接受狀態(逗號分隔)
拒絕狀態(逗號分隔)
當前 q
讀取
下一 q′
寫入
移動
+ 新增列
套用程式