图灵机的形式化描述 图灵机是一个五元组(K,∑,δ,s,H), 其中: K是有穷个状态的集合; ∑是字母表,即符号的集合; nS∈K是初始状态; ■H∈K是停机状态的集合,当控制器内部状态 为停机状态时图灵机结束计算 ■δ是转移函数,即控制器的规则集合。 RESTRI图灵机的形式化描述 ◼ 图灵机是一个五元组（K，∑，δ，s，H）， 其中： ◼ K 是有穷个状态的集合； ◼ ∑ 是字母表，即符号的集合； ◼ s ∈K是初始状态； ◼ H∈K 是停机状态的集合，当控制器内部状态 为停机状态时图灵机结束计算； ◼ δ是转移函数，即控制器的规则集合