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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
|
module Thue.Parser (
ThueProgram(..),
ThueRule(..),
ThueState,
ThueChar(..),
parseThue,
tCh,
tLit,
tStr,
tLitStr,
fromThueState
) where
import Control.Applicative( some )
import Text.ParserCombinators.Parsec
data ThueProgram = ThueProgram { thueRules :: [ThueRule]
, thueInitialState :: ThueState }
deriving (Show, Eq)
data ThueRule = ThueRule { original :: ThueState
, replacement :: ThueState }
deriving (Show, Eq)
type ThueState = [ThueChar]
data ThueChar = TChar { tChar :: Char }
| TLit { tChar :: Char }
deriving (Show, Eq)
parseThue :: String -> Either ParseError ThueProgram
parseThue = parse thue "error"
--parseThue2a :: String -> Either ParseError Thue2aProgram
--parseThue2a = parse thue2a "error"
tCh :: Char -> ThueChar
tCh = TChar
tLit :: Char -> ThueChar
tLit = TLit
tStr :: String -> ThueState
tStr = map TChar
tLitStr :: String -> ThueState
tLitStr = map TLit
fromThueState :: ThueState -> String
fromThueState = map tChar
thue = do
rs <- many rule
separatorLine
i <- initialState
eof
return (ThueProgram rs i)
rule = do
o <- ruleState
separator
r <- state
eol
return (ThueRule o r)
separatorLine = whiteSpace >> separator >> whiteSpace >> eol
separator = string "::="
<?> "rule separator"
initialState = do
s <- state `sepEndBy` eol
return (concat s)
ruleState = some ruleStateChar
ruleStateChar = (noneOf "\n\r:" >>= return . TChar)
<|> try (char ':' >> notFollowedBy (string ":=") >> return (TChar ':'))
<?> "state character"
state = many stateChar
stateChar = (noneOf "\n\r" >>= return . TChar)
<?> "state character"
whiteSpace = many (oneOf "\t ")
eol = try (string "\r\n")
<|> try (string "\n\r")
<|> try (string "\r")
<|> try (string "\n")
<?> "end of line"
|
