Apnee1-AS/Grrammaire at main · BilouKass/Apnee1-AS · 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
S -> A
A -> L;A
A -> epsi
L -> V = E
L -> E
V -> var_name
E -> E + T
E -> E - T
E -> T
T -> T * G
T -> T / G
T -> G
G -> B ^ G
G -> B
B -> C^B _ F
B -> C_ B ^ F
B -> F
F -> var_name
F -> a
F -> (L)

S -> A
A -> L;A
A -> epsi
L -> V = E
L -> E
V -> var_name
E -> TE'
E -> V = E
E' -> -TE'
E' -> +TE'
E' -> epsi
T -> GT'
T'-> *GT'
T' -> /GT'
T' -> epsi
G -> B ^ G
G -> B
B -> C^B _ F
B -> C_ B ^ F
B -> F
F -> -F
F -> var_name
F -> a
F -> (L)

| NT \ T | ;     | +          | -                      | /          | *          | =      | ^      | (                      | )     | a                      | var                    | _          | $     |
| ------ | ----- | ---------- | ---------------------- | ---------- | ---------- | ------ | ------ | ---------------------- | ----- | ---------------------- | ---------------------- | ---------- | ----- |
| S      |       |            | S->A                   |            |            |        |        | S->A                   |       | S->A                   | S->A                   |            |       |
| A      | A->ε  |            | A->L;A                 |            |            |        |        | A->L;A                 |       | A->L;A                 | A->L;A                 |            | A->ε  |
| L      |       |            | L->E                   |            |            |        |        | L->E                   |       | L->E                   | L->V=E **(CONFLIT)**   |            |       |
|        |       |            |                        |            |            |        |        |                        |       |                        | L->E **(CONFLIT)**     |            |       |
| V      |       |            |                        |            |            |        |        | V->var                 |       |                        | V->var                 |            |       |
| E      |       |            | E->T E'                |            |            |        |        | E->T E'                |       | E->T E'                | E->T E'                |            |       |
| E'     | E'->ε | E'->+ T E' | E'->- T E'             |            |            |        |        | E'->ε                  |       |                        |            | E'->ε |
| T      |       |            | T->G T'                |            |            |        |        | T->G T'                |       | T->G T'                | T->G T'                |            |       |
| T'     | T'->ε | T'->ε      | T'->ε                  | T'->/ G T' | T'->* G T' |        |        |                        | T'->ε |                        |                        |            | T'->ε |
| G      |       |            | G->B ^ G **(CONFLIT)** |            |            |        |        | G->B ^ G **(CONFLIT)** |       | G->B ^ G **(CONFLIT)** | G->B ^ G **(CONFLIT)** |            |       |
|        |       |            | G->B **(CONFLIT)**     |            |            |        |        | G->B **(CONFLIT)**     |       | G->B **(CONFLIT)**     | G->B **(CONFLIT)**     |            |       |
| B      |       |            | B->F B'                |            |            |        |        | B->F B'                |       | B->F B'                | B->F B'                |            |       |
| B'     | B'->ε | B'->ε      | B'->ε                  | B'->ε      | B'->ε      |        |                        | B'->ε |                        |                        | B'->_ F B' | B'->ε |
| F      |       |            | F->- F                 |            |            |        | F->( L )               |       | F->a                   | F->var                 |            |       |