计算理论2--可计算理论 图灵机 博主正在学习INTRODUCTION TO THE THEORY OF COMPUTATION (Second Edition) --Michal Sipser,以及学习“计算复杂性”课程,做一些笔记供自己回忆,如有错误请指正。整理成一个系列计算理论,方便检索。 计算理论part one介绍了自动机,主要是有限自动机finite automata(有限内存)和下推自动机pushdown automata(无限内存)。计算理论part two会介绍一种更通用的计算模型:图灵机。 图灵机