A driver for Turing machine programs defined by a set of state-symbol-action-newstate tuples