l4m2 发表于 2014-8-14 23:04:56

证明或推翻等价性

1.图灵机
2.有双向无限长白纸带的机器，在有限凸形平面上走，接受指令
a)如果黑，右转
b)反色
c)纸带左移
d)纸带右移
e)不做
页: [1]
查看完整版本: 证明或推翻等价性