Semantic-Search/parser.out at master · iferminm/Semantic-Search · GitHub

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
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
Created by PLY version 3.4 (http://www.dabeaz.com/ply)

Grammar

Rule 0     S' -> orquery
Rule 1     orquery -> orquery OR andquery
Rule 2     orquery -> andquery
Rule 3     andquery -> andquery AND unitquery
Rule 4     andquery -> unitquery
Rule 5     unitquery -> ANNOTATION
Rule 6     unitquery -> REL ANNOTATION
Rule 7     unitquery -> NOT ANNOTATION

Terminals, with rules where they appear

AND                  : 3
ANNOTATION           : 5 6 7
NOT                  : 7
OR                   : 1
REL                  : 6
error                :

Nonterminals, with rules where they appear

andquery             : 1 2 3
orquery              : 1 0
unitquery            : 3 4

Parsing method: LALR

state 0

    (0) S' -> . orquery
    (1) orquery -> . orquery OR andquery
    (2) orquery -> . andquery
    (3) andquery -> . andquery AND unitquery
    (4) andquery -> . unitquery
    (5) unitquery -> . ANNOTATION
    (6) unitquery -> . REL ANNOTATION
    (7) unitquery -> . NOT ANNOTATION

    ANNOTATION      shift and go to state 5
    REL             shift and go to state 3
    NOT             shift and go to state 4

    andquery                       shift and go to state 1
    orquery                        shift and go to state 2
    unitquery                      shift and go to state 6

state 1

    (2) orquery -> andquery .
    (3) andquery -> andquery . AND unitquery

    OR              reduce using rule 2 (orquery -> andquery .)
    $end            reduce using rule 2 (orquery -> andquery .)
    AND             shift and go to state 7


state 2

    (0) S' -> orquery .
    (1) orquery -> orquery . OR andquery

    OR              shift and go to state 8


state 3

    (6) unitquery -> REL . ANNOTATION

    ANNOTATION      shift and go to state 9


state 4

    (7) unitquery -> NOT . ANNOTATION

    ANNOTATION      shift and go to state 10


state 5

    (5) unitquery -> ANNOTATION .

    AND             reduce using rule 5 (unitquery -> ANNOTATION .)
    OR              reduce using rule 5 (unitquery -> ANNOTATION .)
    $end            reduce using rule 5 (unitquery -> ANNOTATION .)


state 6

    (4) andquery -> unitquery .

    AND             reduce using rule 4 (andquery -> unitquery .)
    OR              reduce using rule 4 (andquery -> unitquery .)
    $end            reduce using rule 4 (andquery -> unitquery .)


state 7

    (3) andquery -> andquery AND . unitquery
    (5) unitquery -> . ANNOTATION
    (6) unitquery -> . REL ANNOTATION
    (7) unitquery -> . NOT ANNOTATION

    ANNOTATION      shift and go to state 5
    REL             shift and go to state 3
    NOT             shift and go to state 4

    unitquery                      shift and go to state 11

state 8

    (1) orquery -> orquery OR . andquery
    (3) andquery -> . andquery AND unitquery
    (4) andquery -> . unitquery
    (5) unitquery -> . ANNOTATION
    (6) unitquery -> . REL ANNOTATION
    (7) unitquery -> . NOT ANNOTATION

    ANNOTATION      shift and go to state 5
    REL             shift and go to state 3
    NOT             shift and go to state 4

    andquery                       shift and go to state 12
    unitquery                      shift and go to state 6

state 9

    (6) unitquery -> REL ANNOTATION .

    AND             reduce using rule 6 (unitquery -> REL ANNOTATION .)
    OR              reduce using rule 6 (unitquery -> REL ANNOTATION .)
    $end            reduce using rule 6 (unitquery -> REL ANNOTATION .)


state 10

    (7) unitquery -> NOT ANNOTATION .

    AND             reduce using rule 7 (unitquery -> NOT ANNOTATION .)
    OR              reduce using rule 7 (unitquery -> NOT ANNOTATION .)
    $end            reduce using rule 7 (unitquery -> NOT ANNOTATION .)


state 11

    (3) andquery -> andquery AND unitquery .

    AND             reduce using rule 3 (andquery -> andquery AND unitquery .)
    OR              reduce using rule 3 (andquery -> andquery AND unitquery .)
    $end            reduce using rule 3 (andquery -> andquery AND unitquery .)


state 12

    (1) orquery -> orquery OR andquery .
    (3) andquery -> andquery . AND unitquery

    OR              reduce using rule 1 (orquery -> orquery OR andquery .)
    $end            reduce using rule 1 (orquery -> orquery OR andquery .)
    AND             shift and go to state 7