计算“x+1”的图灵机 目标:利用二进制来设计一个专门计算 “x+1的图灵机,要求计算完成时,读 写头要回归原位 状态集合K:{ start,ad, carry, noncarry, overflow, return, halt 字母表Σ:{0,1,*}; 初始状态s: start 停机状态集合H:{hat}; RESTRI计算“x+1”的图灵机 ◼ 目标：利用二进制来设计一个专门计算 “x+1”的图灵机，要求计算完成时，读 写头要回归原位 ◼ 状态集合K：{start，add，carry， noncarry，overflow，return，halt}； ◼ 字母表∑：{0，1，*}； ◼ 初始状态s：start； ◼ 停机状态集合H：{halt}；