構建圖靈機,用於語言 L = {0n1n2n | n≥1}
這裡我們將看到如何為語言 L = {0n1n2n | n ≥ n} 構建圖靈機。因此,它表示一種語言,其中我們只使用三個字元 0、1 和 2。w 是一個字串。因此,如果 w = 000111222,圖靈機將接受它。
為了解決這個問題,我們將使用這種方法。首先用 x 替換前面的一個 0,然後一直向右移動,直到得到一個 1,然後用 y 替換這個 1。再次一直向右移動,直到得到一個 2,用 z 來替換它,然後向左移動。現在一直向左移動,直到找到一個 x。當找到它時,向右移動,然後按照上面相同的過程進行操作。
當我們發現 x 後面緊跟著一個 y 時,就會出現一種情況。此時,我們一直向右移動,並不斷檢查所有 1 和 2 是否都已轉換為 y 和 z。如果沒有,則字串不被接受。如果我們到達 $,則字串被接受。
狀態轉換圖
廣告