-
Notifications
You must be signed in to change notification settings - Fork 1
/
t1_grammar.txt
80 lines (80 loc) · 1.31 KB
/
t1_grammar.txt
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
V36 * -> 1 *
V0 V32 -> V25 V28
V3 V20 -> V23 V29
V25 V37 -> V38 V23
V24 -> V30
V18 1 -> * 1
1 V34 -> 1 1
V3 V32 -> V23 V28
V16 V7 -> V11 V23
V32 1 -> 1 1
V35 V32 -> V18 V15
V25 V28 -> V21 V32
V41 V23 -> V23 V41
1 V32 -> 1 1
V9 -> V12
V23 V28 -> V10 V32
V39 V26 -> V8 V18
V15 V23 -> V32 V5
V27 -> V23 V27
V18 V37 -> V26 V23
V17 V23 -> V18 V41
V15 V32 -> V32 V15
V14 V23 -> V16 V1
V32 V37 -> V31 V23
V41 V18 -> V23 V17
V40 V25 -> V32 V0
V41 V25 -> V23 V0
V16 V13 -> V11 V18
V40 V23 -> V32 V41
V8 V23 -> V23 V1
V19 -> V30
V32 V5 -> V4 V32
V27 -> V18 V27
V27 -> V20
V23 V33 -> V10 V34
V6 V25 -> V32 V2
V18 V5 -> V13 V32
V29 -> V9
V36 1 -> 1 1
V30 V23 -> V36 V41
V32 V31 -> V31 V32
S -> V19 V27
V23 V26 -> V37 V18
V23 * -> 1 *
V32 = -> 1 =
V35 V23 -> V18 V5
V17 V32 -> V18 V40
V14 V18 -> V16 V35
V0 V20 -> V25 V29
V36 V26 -> V14 V18
V8 V18 -> V23 V35
V30 V18 -> V36 V17
V23 V7 -> V7 V23
= V32 -> = 1
V25 V33 -> V21 V34
V23 V12 -> V37 V34
V18 V31 -> V26 V32
V32 V21 -> V6 V25
V23 V10 -> V37 V32
V3 V23 -> V23 V3
= V34 -> = 1
V0 V34 -> V25 V33
V18 V4 -> V13 V32
V27 -> V25 V27
V3 V34 -> V23 V33
V1 V23 -> V39 V41
V25 V12 -> V38 V34
V23 1 -> 1 1
V23 V37 -> V37 V23
V40 V32 -> V32 V40
V32 V4 -> V4 V32
V23 V13 -> V7 V18
V25 V10 -> V38 V32
V2 -> =
V0 V23 -> V25 V3
V1 V18 -> V39 V17
V39 V37 -> V8 V23
V23 V38 -> V37 V25
V11 -> V24
V36 V37 -> V14 V23