Accept | Data.Turing |
DontMove | Data.Turing |
MachineResult | Data.Turing |
mkTuringMachine | Data.Turing |
MoveLeft | Data.Turing |
Movement | Data.Turing |
MoveRight | Data.Turing |
Reject | Data.Turing |
run | Data.Turing |
runFor | Data.Turing |
TransitionFunction | Data.Turing |
TuringMachine | Data.Turing |