Question

A Turing machine根据规则表操纵无限磁带上的符号。

在我看来，录像带上的条目可以是0和1（二进制）。

磁带开始“空”＆＃39;正负方向的无穷大为0。根据机器遵循的规则写入此磁带，可能会将0或1添加到未写入的边缘。

由于磁带值是二进制的，因此当机器写入磁带时，有一种最有效的方式在内存中表示它们，向左或向右添加新值？显然，我不需要代表无限的零（未写入的磁带），但我需要扩展数据结构，因为新的值被添加到磁带的末端。

python列表可以做到这一点，这里显示左边插入1：

start_time = time.time()
tape = [0]*10000000
print tape[:10]
insertion_time = time.time()
tape = [1] + tape 
print tape[:10]
print "total execution time: ", time.time() - start_time
print "time to add entry: ", time.time() - insertion_time

此输出：

[0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
[1, 0, 0, 0, 0, 0, 0, 0, 0, 0]
total execution time:  0.257364034653
time to add entry:  0.109524011612

使用list.insert可以使它快23倍：

start_time = time.time()
tape = [0]*100000
print tape[:10]
insertion_time = time.time()
tape.insert(0, [1])
print tape[:10]
print "execution time: ", time.time() - start_time
print "time to add entry: ", time.time() - insertion_time

，并提供：

[0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
[[1], 0, 0, 0, 0, 0, 0, 0, 0, 0]
execution time:  0.0270080566406
time to add entry:  0.00468802452087

表示二进制磁带是否比使用list对象更有效？

Answer 1

鉴于磁带两端都是无限的，你也必须考虑(-inf, -1]范围的索引。最佳表示，即IMO，将是一对列表 - 一个用于非负范围，另一个用于负范围（索引反转）。当您超出分配的磁带范围时，您只需要附加到相应的列表（与列表前面的一个快速操作不同）。

草稿实施（使用this answer的GrowingList增强版）：

class GrowingList(list):
    def __init__(self, default_value):
        self.default_value=default_value

    def __getitem__(self, i):
        return list.__getitem__(i) if i < len(self) else self.default_value

    def __setitem__(self, i, v):
        if i >= len(self):
            self.extend([self.default_value]*(i + 1 - len(self)))
        list.__setitem__(self, i, v)

class Tape:
    def __init__(self):
        self.pos_range=GrowingList(0)
        self.neg_range=GrowingList(0)

    def __getitem__(self, i):
        if i >= 0:
            return self.pos_range[i]
        else:
            return self.neg_range[-i-1]

    def __setitem__(self, i, v):
        if i >= 0:
            self.pos_range[i]=v
        else:
            self.neg_range[-i-1]=v

    def __repr__(self):
        start = -len(self.neg_range)
        end = len(self.pos_range)
        data = list(reversed(self.neg_range)) + self.pos_range
        return "Tape(range=[{}, {}), data={})".format(start, end, data)


t = Tape()
print(t)
t[4]=1
print(t)
t[-2]=1
print(t)

输出：

Tape(range=[0, 0), data=[])
Tape(range=[0, 5), data=[0, 0, 0, 0, 1])
Tape(range=[-2, 5), data=[1, 0, 0, 0, 0, 0, 1])

在Python中表示图灵机无限磁带的最有效方法是什么？

1 个答案: