Safe Haskell | None |
---|---|
Language | Haskell2010 |
Module Constructors
include a lot of constructors of Turing
machine.
Documentation
makeStandartTM :: [LocalQuadruple] -> TuringMachine Source #
check :: ShowedSymbolClass s => [s] -> TuringMachine Source #
die :: ShowedSymbolClass s => [s] -> TuringMachine Source #
move :: ShowedSymbolClass s => Move -> [s] -> TuringMachine Source #
moveInf :: ShowedSymbolClass s => Move -> [s] -> TuringMachine Source #
rewrite :: ShowedSymbolClass s => [s] -> ShowedSymbol -> TuringMachine Source #
rewriteAndMove :: ShowedSymbolClass s => [s] -> ShowedSymbol -> Move -> TuringMachine Source #
(+^>) :: String -> TuringMachine -> TuringMachine infixl 8 Source #
(>+^) :: TuringMachine -> String -> TuringMachine infixl 8 Source #
(-^) :: TuringMachine -> String -> TuringMachine Source #
(++>) :: TuringMachine -> TuringMachine -> TuringMachine infixl 6 Source #
(||>) :: TuringMachine -> TuringMachine -> TuringMachine infixl 5 Source #
(@@>) :: TuringMachine -> TuringMachine -> TuringMachine infix 7 Source #
loop :: TuringMachine -> TuringMachine Source #
forSs :: ShowedSymbolClass s => (ShowedSymbol -> TuringMachine) -> [s] -> TuringMachine Source #
module TuringMachine