《计算复杂性：现代方法》——1.2 图灵机

本节书摘来自华章计算机《计算复杂性：现代方法》一书中的第1章，第1.2节，作者 ［美］桑杰夫·阿罗拉（Sanjeev Arora），博阿兹·巴拉克（Boaz Barak），译 骆吉洲，更多章节内容可以访问云栖社区“华章计算机”公众号查看。 1.2　图灵机\ 演草纸 演草纸包含k条带，每条带均由单向无限延伸的很多单元构成，每个单元能够存储称为机器的字母表的有限集Γ中的一个符号。每条带均有一个带头，它

>>阅读原文<<