Math.Model.Turing.TwoWays

Two ways turing machine

Documentation

data Tape a

Constructors

T [a] a [a]

Instances

Functor Tape

Methods

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

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

Applicative Tape

Methods

pure :: a -> Tape a

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

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

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

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

Tapeable Tape Symbol

>>> let tapeLifted = (liftTape "word")::Tape Symbol
>>> tapeLifted
T "" 'w' "ord"

Methods

getHead :: Tape Symbol -> Symbol

liftTape :: [Symbol] -> Tape Symbol

TuringM Tape Symbol LRS

Methods

moveHead :: LRS -> Tape Symbol -> Tape Symbol

Tapeable Tape [Symbol]

Methods

getHead :: Tape [Symbol] -> [Symbol]

liftTape :: [[Symbol]] -> Tape [Symbol]

TuringM Tape [Symbol] LRS

Methods

moveHead :: LRS -> Tape [Symbol] -> Tape [Symbol]

Eq a => Eq (Tape a)

Methods

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

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

Show a => Show (Tape a)

Methods

showsPrec :: Int -> Tape a -> ShowS

show :: Tape a -> String

showList :: [Tape a] -> ShowS

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

Methods

mempty :: Tape s

mappend :: Tape s -> Tape s -> Tape s

mconcat :: [Tape s] -> Tape s