My advanced logic professor has us writing programs in Turing Machine 4 dot tape syntax that my poor TAs had to read. They had to actually step through the program to see if it succeeded since there were multiple possible successful solutions.