Tms2TuringMachine
Description
This module provides functionality for converting the Turing machine Tms to TM.
Tms
TM
tms2turingMachine :: Tms -> Either String TuringMachine Source #
hash :: String -> Int Source #
Hash function used to proivde algorithm with extra unique names.