Safe Haskell	Safe-Inferred
Language	Haskell2010

TmsType

Description

This module provides types for representing turing machines in a format suitable for the service: https://turingmachinesimulator.com/ Below this format will be called Tms.

Synopsis

data TmsTapeSquare
- = Leave
- | ChangeFromTo Char Char
data TmsTapeHeadMovement
- = MoveLeft
- | Stay
- | MoveRight
newtype TmsState = TmsState String
newtype TmsSingleTapeCommand = TmsSingleTapeCommand (TmsTapeSquare, TmsTapeHeadMovement)
type OneTapeTMCommand = (TmsState, TmsSingleTapeCommand, TmsState)
toTmsCommand :: OneTapeTMCommand -> TmsCommand
newtype TmsCommand = TmsCommand (TmsState, [TmsSingleTapeCommand], TmsState)
newtype Tms = Tms (String, TmsState, [TmsState], [TmsCommand], [String])
filterStateName :: String -> String
fst3 :: (a, b, c) -> a
snd3 :: (a, b, c) -> b
thd3 :: (a, b, c) -> c

Documentation

data TmsTapeSquare Source #

Type of Tms tape square action.

Leave is leave any character unchanged.

'ChangeFromTo f t' is change it from f to t.

Constructors

Leave
ChangeFromTo Char Char

Instances

Instances details

Eq TmsTapeSquare Source #
Instance details Defined in TmsType Methods (==) :: TmsTapeSquare -> TmsTapeSquare -> Bool # (/=) :: TmsTapeSquare -> TmsTapeSquare -> Bool #
Ord TmsTapeSquare Source #
Instance details Defined in TmsType Methods compare :: TmsTapeSquare -> TmsTapeSquare -> Ordering # (<) :: TmsTapeSquare -> TmsTapeSquare -> Bool # (<=) :: TmsTapeSquare -> TmsTapeSquare -> Bool # (>) :: TmsTapeSquare -> TmsTapeSquare -> Bool # (>=) :: TmsTapeSquare -> TmsTapeSquare -> Bool # max :: TmsTapeSquare -> TmsTapeSquare -> TmsTapeSquare # min :: TmsTapeSquare -> TmsTapeSquare -> TmsTapeSquare #

data TmsTapeHeadMovement Source #

Type of Tms tape head movement

Constructors

MoveLeft
Stay
MoveRight

Instances

Instances details

Eq TmsTapeHeadMovement Source #
Instance details Defined in TmsType Methods (==) :: TmsTapeHeadMovement -> TmsTapeHeadMovement -> Bool # (/=) :: TmsTapeHeadMovement -> TmsTapeHeadMovement -> Bool #
Ord TmsTapeHeadMovement Source #
Instance details Defined in TmsType Methods compare :: TmsTapeHeadMovement -> TmsTapeHeadMovement -> Ordering # (<) :: TmsTapeHeadMovement -> TmsTapeHeadMovement -> Bool # (<=) :: TmsTapeHeadMovement -> TmsTapeHeadMovement -> Bool # (>) :: TmsTapeHeadMovement -> TmsTapeHeadMovement -> Bool # (>=) :: TmsTapeHeadMovement -> TmsTapeHeadMovement -> Bool # max :: TmsTapeHeadMovement -> TmsTapeHeadMovement -> TmsTapeHeadMovement # min :: TmsTapeHeadMovement -> TmsTapeHeadMovement -> TmsTapeHeadMovement #
Show TmsTapeHeadMovement Source #
Instance details Defined in TmsType Methods showsPrec :: Int -> TmsTapeHeadMovement -> ShowS # show :: TmsTapeHeadMovement -> String # showList :: [TmsTapeHeadMovement] -> ShowS #

newtype TmsState Source #

Type of Tms State.

Constructors

TmsState String

Instances

Instances details

Eq TmsState Source #
Instance details Defined in TmsType Methods (==) :: TmsState -> TmsState -> Bool # (/=) :: TmsState -> TmsState -> Bool #
Ord TmsState Source #
Instance details Defined in TmsType Methods compare :: TmsState -> TmsState -> Ordering # (<) :: TmsState -> TmsState -> Bool # (<=) :: TmsState -> TmsState -> Bool # (>) :: TmsState -> TmsState -> Bool # (>=) :: TmsState -> TmsState -> Bool # max :: TmsState -> TmsState -> TmsState # min :: TmsState -> TmsState -> TmsState #

newtype TmsSingleTapeCommand Source #

Type of Tms command for one tape. TmsSingleTapeCommand (action, movement).

Constructors

TmsSingleTapeCommand (TmsTapeSquare, TmsTapeHeadMovement)

Instances

Instances details

Eq TmsSingleTapeCommand Source #
Instance details Defined in TmsType Methods (==) :: TmsSingleTapeCommand -> TmsSingleTapeCommand -> Bool # (/=) :: TmsSingleTapeCommand -> TmsSingleTapeCommand -> Bool #
Ord TmsSingleTapeCommand Source #
Instance details Defined in TmsType Methods compare :: TmsSingleTapeCommand -> TmsSingleTapeCommand -> Ordering # (<) :: TmsSingleTapeCommand -> TmsSingleTapeCommand -> Bool # (<=) :: TmsSingleTapeCommand -> TmsSingleTapeCommand -> Bool # (>) :: TmsSingleTapeCommand -> TmsSingleTapeCommand -> Bool # (>=) :: TmsSingleTapeCommand -> TmsSingleTapeCommand -> Bool # max :: TmsSingleTapeCommand -> TmsSingleTapeCommand -> TmsSingleTapeCommand # min :: TmsSingleTapeCommand -> TmsSingleTapeCommand -> TmsSingleTapeCommand #

type OneTapeTMCommand = (TmsState, TmsSingleTapeCommand, TmsState) Source #

Type of Tms single tape command

toTmsCommand :: OneTapeTMCommand -> TmsCommand Source #

newtype TmsCommand Source #

Type of Tms command for entire Turing machine.

Constructors

TmsCommand (TmsState, [TmsSingleTapeCommand], TmsState)

Instances

Instances details

Eq TmsCommand Source #
Instance details Defined in TmsType Methods (==) :: TmsCommand -> TmsCommand -> Bool # (/=) :: TmsCommand -> TmsCommand -> Bool #
Ord TmsCommand Source #
Instance details Defined in TmsType Methods compare :: TmsCommand -> TmsCommand -> Ordering # (<) :: TmsCommand -> TmsCommand -> Bool # (<=) :: TmsCommand -> TmsCommand -> Bool # (>) :: TmsCommand -> TmsCommand -> Bool # (>=) :: TmsCommand -> TmsCommand -> Bool # max :: TmsCommand -> TmsCommand -> TmsCommand # min :: TmsCommand -> TmsCommand -> TmsCommand #

newtype Tms Source #

Type of Tms format. Tms (name, init accept commands, tapeAlphabets).

Constructors

Tms (String, TmsState, [TmsState], [TmsCommand], [String])

Instances

Instances details

Eq Tms Source #
Instance details Defined in TmsType Methods (==) :: Tms -> Tms -> Bool # (/=) :: Tms -> Tms -> Bool #
Show Tms Source #
Instance details Defined in TmsType Methods showsPrec :: Int -> Tms -> ShowS # show :: Tms -> String # showList :: [Tms] -> ShowS #

filterStateName :: String -> String Source #

Process string so that it does not contain illegal characters.

fst3 :: (a, b, c) -> a Source #

snd3 :: (a, b, c) -> b Source #

thd3 :: (a, b, c) -> c Source #