(2,3) Turing Machine as an UTM with an infinite tape

w23tm-dsinf.py

# (2,3) Turing Machine as an UTM

from time import sleep

# (state,symbol) => (state,symbol,head)
delta = {(0,0): (1,1, 1),
         (0,1): (0,2,-1),
         (0,2): (0,1,-1),
         (1,0): (0,2,-1),
         (1,1): (1,2, 1),
         (1,2): (0,0, 1)}

state, tape, head = 0, [0], 0

ds = {0: '　', 1: '　', 2: '■'}
while True:
    t = delta[(state,tape[head])]
    state = t[0]
    tape[head] = t[1]
    head += t[2]
    if head >= len(tape):
        tape.append(0)
    elif head < 0:
        tape.insert(0, 0)
        head += 1
    for s in tape: print(ds[s], end='')
    print()
    sleep(0.01)