課後總結第二篇

1.3圖靈機 圖靈機是一個五元組(Q,Σ,δ,s0,H),其中:Q是有窮個狀態的集合;Σ是字母表,即符號的集合;s0∈Q是初始狀態;H∈Q是停機狀態的集合,當控制器內部狀態爲停機狀態時圖靈機結束計算;δ是轉移函數,即控制器的規則集合。 控制器的規則格式爲(當前狀態,當前符號,新符號,讀寫頭移動,下一個狀態),即當圖靈機所處的狀態爲「當前狀態」,讀寫頭讀取的字符爲當前符號 」時,讀寫頭將對當前字符用
相關文章
相關標籤/搜索