blob: c3bb644b9b3e3b65f065983f40a64f517f6c0ede (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
re <- cat rer
rer <- '|' cat
| ε
cat <- e catr
catr <- e catr
| ε
e <- l "Plus" | l "Question" | l "Star" | l
l <- "Literal" | "Class" | "Dot" | "LRaren" re "RParen"
|