图灵机形式化是如何工作的呢?
图灵机形式化是如何工作的呢?
图灵机形式化编辑一台图灵机是一个七元组,{Q,Σ,Γ,δ,q0,qaccept,qreject},其中Q,Σ,Γ都是有限集合,且满足1.Q是状态集合;2.Σ是输入字母表,其中不包含特殊的空白符□;3.Γ是带字母表,其中□∈Γ且Σ∈Γ;4.δ:Q×「→Q×Γ×{L,R}是转移函数,其中L,R表示读写头是向左移还是向右移;5.q0∈Q是起始状态;6.qaccept是接受状态
答:在每个时刻,机器头都要从当前纸带上读入一个方格信息,然后结合自己的内部状态查找程序表,根据程序输出信息到纸带方格上,并转换自己的内部状态,然后进行移动详情>>