计算复杂性理论(一)图灵机 一台 k-带图灵机(TM)M 有 k-条带子。第一条带子称为输入带,用来存放输入数据,输入带是只读带。其余 k−1 条带子是工作带,既可以从工作带上读信息,也可以往工作带上写内容。图灵机的输出写在最后一条工作带(即第 k 条带)上。 图灵机例子