
accepts words that contain "11" as substring
                                                                             w Y q0 S X delta Y
./turingmachines --highlight --interval 50000 examples/minsky_univ.tm   '010110Y00SX0000001X0010111X0100001X0111011Y'