linear speedup theorem
Sign in to savespeeding up Turing machines by increasing tape symbol complexity
speeding up Turing machines by increasing tape symbol complexity
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).