Data.Turing

The Turing machine

data TuringMachine s q

mkTuringMachine

Associated types

data Movement

type TransitionFunction s q

data MachineResult

Running a machine

run

runFor