07879离散数学_屈婉玲(形式语言与自动机)11.4.pptVIP

11.4 图灵机;问题的提出;计算模型;Church-Turing论题;图灵机的基本模型;图灵机的基本模型(续);一个TM M的实例（例1） ;格局: 带的内容, 当前的状态和读写头扫视的方格 σ = αqβ, 其中 α,β?Γ*, q?Q 初始格局σ0= q0w, 其中w?Σ*是输入字符串 接受格局σ = αqβ : q?A 停机格局σ = αqsβ : δ(q,s)没有定义 σ1 ? σ2: 从σ1经过一步能够到达σ2, 称σ2是σ1的后继 σ1 σ2: 从σ1经过若干步能够到达 σ2 ;图灵机的计算(续);图灵机接受的语言;图灵机接受的语言(续);用图灵机计算函数;数论函数;递归函数;递归函数(续)