Not only was my nondeterministic turing machine implementationway too long at 20 lines, it was also wrong. Shortly after @dionyziz reported a bug and it took me until last night to get around to fixing it. The problem was that when I was passing tapes for each possible step into the next iteration of the [...]