linear speedup theorem

speeding up Turing machines by increasing tape symbol complexity

Categories: