Safe Haskell | None |
---|---|
Language | Haskell2010 |
This module represents functionality for converting the TuringMachine
to Tms
.
Documentation
turingMachine2tms :: TuringMachine -> Tms Source #
Safe Haskell | None |
---|---|
Language | Haskell2010 |
This module represents functionality for converting the TuringMachine
to Tms
.
turingMachine2tms :: TuringMachine -> Tms Source #