This past weekend I spent some time working with Turing Machines. More specifically, I implemented a busy beaver machine. After that I worked on getting Ullman and Hopcroft’s UTM to simulate the machine that recognizes (01)* with input 010101.
I came no nearer understanding how Ullman and Hopcroft’s machine worked after a successful run, so [...]