Math.Model.Turing

class Ways a

data LRS

data FW

type Delta a b c

type MDelta a b c

liftD

liftMD

class Tapeable t a

data MultiTape t a

getMHead

liftMTape

class TuringM t b w

data Model a b c

data MultiModel a b c