amethyst_geode 1.2.3

Turing Machine Programming Language Interpreter
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40

module AmethystSyntax where

-- Basic types
data Move = L | R | N
  deriving (Show)
data Transition = Transition {getReadSymbol :: Char, getWriteSymbol :: Char, getMove :: Move, getNewState :: String}
  deriving (Show)
data State
  = Accept {getStateName :: String}
  | Reject {getStateName :: String}
  | State {getStateName :: String, getTransitions :: [Transition], getInitial :: Bool}
  deriving (Show)

-- Macro Types
data MacroKeyword
  = Complement String
  | Intersect [String]
  | Reunion [String]
  | Chain [String]
  | Repeat Int String
  | Move Move Int
  | Override Move Int Char
  | Place String
  | Shift Move Int
  deriving (Show)

-- Turing Machines
data Automaton
  = Machine {getAutomatonName :: String, getComponents :: [(String, String)], getStates :: [State]}
  | Macro {getAutomatonName :: String, getKeyword :: MacroKeyword}
  deriving (Show)
newtype Program = Program {getAutomata :: [Automaton]}
  deriving (Show)

-- Alphabet configuration
allowedNameSymbols :: [Char]
allowedNameSymbols = ['a' .. 'z'] ++ "0123456789_."

allowedTapeSymbols :: [Char]
allowedTapeSymbols = ['A' .. 'Z'] ++ "0123456789" ++ "!@#$%^&*[]-+=/?_:"