Math.Model.Turing.FourWays

Four ways turing machine

Documentation

data Tracks a

Constructors

Track [Tape a] (Tape a) [Tape a]

Instances

Functor Tracks

Methods

fmap :: (a -> b) -> Tracks a -> Tracks b

(<$) :: a -> Tracks b -> Tracks a

Applicative Tracks

Methods

pure :: a -> Tracks a

(<*>) :: Tracks (a -> b) -> Tracks a -> Tracks b

liftA2 :: (a -> b -> c) -> Tracks a -> Tracks b -> Tracks c

(*>) :: Tracks a -> Tracks b -> Tracks b

(<*) :: Tracks a -> Tracks b -> Tracks a

Tapeable Tracks Symbol

Methods

getHead :: Tracks Symbol -> Symbol

liftTape :: [Symbol] -> Tracks Symbol

TuringM Tracks Symbol FW

Methods

moveHead :: FW -> Tracks Symbol -> Tracks Symbol

Eq a => Eq (Tracks a)

Methods

(==) :: Tracks a -> Tracks a -> Bool

(/=) :: Tracks a -> Tracks a -> Bool

Show a => Show (Tracks a)

Methods

showsPrec :: Int -> Tracks a -> ShowS

show :: Tracks a -> String

showList :: [Tracks a] -> ShowS

(Eq s, Monoid s) => Monoid (Tracks s)

Methods

mempty :: Tracks s

mappend :: Tracks s -> Tracks s -> Tracks s

mconcat :: [Tracks s] -> Tracks s

Orphan instances

TuringM Tape Symbol FW

Methods

moveHead :: FW -> Tape Symbol -> Tape Symbol