Boolean2TM
boolean2tm :: MonadFail m => Grammar -> m TuringMachine Source #
boolean2tm' :: Grammar -> DebuggingTuringMachine Source #