计算复杂性理论(一)图灵机

计算复杂性理论(一)图灵机

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

计算复杂性理论(一)图灵机_第1张图片
计算复杂性理论(一)图灵机_第2张图片

图灵机例子

计算复杂性理论(一)图灵机_第3张图片
计算复杂性理论(一)图灵机_第4张图片

你可能感兴趣的:(计算复杂性理论)