课后总结第二篇

1.3图灵机 图灵机是一个五元组(Q,Σ,δ,s0,H)，其中:Q是有穷个状态的集合；Σ是字母表，即符号的集合；s0∈Q是初始状态；H∈Q是停机状态的集合，当控制器内部状态为停机状态时图灵机结束计算;δ是转移函数,即控制器的规则集合。 控制器的规则格式为(当前状态,当前符号,新符号,读写头移动,下一个状态)，即当图灵机所处的状态为“当前状态”，读写头读取的字符为当前符号 ”时,读写头将对当前字符用

>>阅读原文<<