| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
TM2SP
Description
Module TM2SP include functions semigroupGamma, semigroupGamma_1 and
semigroupGamma_2 for converting Turing machine to semigroup presentation.
Documentation
convertInput :: MonadFail m => TuringMachine -> (String, Int) -> m String Source #
semigroupGamma :: MonadFail m => TuringMachine -> m SemigroupPresentation Source #
semigroupGamma_1 :: MonadFail m => TuringMachine -> m SemigroupPresentation Source #
semigroupGamma_2 :: MonadFail m => TuringMachine -> m SemigroupPresentation Source #