Курсовик по ТЯПру / PART2
.DOC
Правила грамматики:
1) Def → Df
2) Def →
3) Df → Bl1
4) Df → DfL Bl1
5) Df → DfL
6) DfL → lab LLb
7) Bl1 → Bl2
8) Bl1 → DfC Bl2
9) Bl1 → DfC
10) DfC → con LCn
11) Bl2 → Bl3
12) Bl2 → DfT Bl3
13) Bl2 → DfT
14) DfT → typ LTp
15) Bl3 → DfV
16) DfV → var Vrs
17) LLb → LL1
18) LL1 → nat ;
19) LL1 → nat , LL1
20) LCn → id = Cns ;
21) LCn → id = Cns ; LCn
22) Cns → cid
23) Cns → # cid , cid #
24) LTp → id = Typ ;
25) LTp → id = Typ ; LTp
26) Vrs → LVr : Typ ;
27) Vrs → LVr : Typ ; Vrs
28) LVr → LV1
29) LV1 → id
30) LV1 → id , LV1
3) ДМП-процессор для грамматики GR3. (Начальный символ Typ).
ФУНКЦИИ ТИПА "ПЕРЕНОС-СВЕРТКА":
функция "перенос" (количество элементов: 17x14):
|
, |
id |
nat |
cid |
int |
rea |
com |
.. |
( |
) |
vec |
[ |
] |
Eps |
Typ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Id) |
|
|
|
|
|
|
|
|
|
|
|
|
|
C |
, |
|
ПЕР |
|
|
|
|
|
|
|
|
|
|
|
|
id |
ПЕР |
|
|
|
|
|
|
|
|
ПЕР |
|
|
ПЕР |
C |
nat |
|
|
|
|
|
|
|
|
|
|
|
|
ПЕР |
|
cid |
|
|
|
|
|
|
|
ПЕР |
|
|
|
|
|
C |
int |
|
|
|
|
|
|
|
|
|
|
|
|
|
C |
rea |
|
|
|
|
|
|
|
|
|
|
|
|
|
C |
com |
|
|
|
|
|
|
|
|
|
|
|
|
|
C |
.. |
|
|
|
ПЕР |
|
|
|
|
|
|
|
|
|
|
( |
|
ПЕР |
|
|
|
|
|
|
|
|
|
|
|
|
) |
|
|
|
|
|
|
|
|
|
|
|
|
|
C |
vec |
|
|
|
|
|
|
|
|
|
|
|
ПЕР |
|
|
[ |
|
ПЕР |
ПЕР |
|
|
|
|
|
|
|
|
|
|
|
] |
|
|
|
|
|
|
|
|
|
|
|
|
|
C |
┴ |
|
ПЕР |
|
ПЕР |
ПЕР |
ПЕР |
ПЕР |
|
ПЕР |
|
ПЕР |
|
|
|
┴ Typ |
|
|
|
|
|
|
|
|
|
|
|
|
|
ДОП |
функция "свертка" (количество элементов: 16x10):
|
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
9 |
10 |
Typ |
|
|
|
|
|
|
|
|
|
|
Id) |
|
|
|
|
|
|
|
|
|
|
, |
|
|
|
|
|
|
|
|
|
|
id |
|
|
|
|
|
|
|
|
9 |
10 |
nat |
|
|
|
|
|
|
|
|
|
|
cid |
|
|
|
|
|
|
|
|
|
|
int |
|
|
|
|
|
|
|
|
|
|
rea |
|
|
|
|
|
|
|
|
|
|
com |
|
|
|
|
|
|
|
|
|
|
.. |
|
|
|
|
|
|
|
|
|
|
( |
|
|
|
|
|
|
|
|
|
|
) |
|
|
|
|
|
|
|
|
|
|
vec |
|
|
|
|
|
|
|
|
|
|
[ |
|
|
|
|
|
|
|
|
|
|
] |
|
|
|
|
|
|
|
|
|
|
┴ |
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
|
|
Правила грамматики:
1) Typ → cid .. cid
2) Typ → id
3) Typ → int
4) Typ → rea
5) Typ → com
6) Typ → ( id Id)
7) Typ → vec [ id ]
8) Typ → vec [ nat ]
9) Id) → )
10) Id) → , id Id)
4) ДМП-процессор для грамматики GR4 (Начальный символ Oper).
УПРАВЛЯЮЩАЯ ТАБЛИЦА LL1-АНАЛИЗАТОРА
|
beg |
end |
; |
, |
nat |
: |
rd |
wr |
( |
) |
pex |
id |
:= |
vec |
whl |
ex |
do |
got |
oIf |
cpx |
[ |
] |
im |
re |
Eps |
OpL |
З |
З |
З |
|
З |
|
З |
З |
|
|
|
З |
|
|
З |
|
|
З |
З |
|
|
|
З |
З |
З |
Op |
З |
З |
З |
|
|
|
З |
З |
|
|
|
З |
|
|
З |
|
|
З |
З |
|
|
|
З |
З |
З |
BOp |
З |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ops |
З |
З |
З |
|
З |
|
З |
З |
|
|
|
З |
|
|
З |
|
|
З |
З |
|
|
|
З |
З |
|
Op1 |
|
З |
З |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Op= |
|
|
|
|
|
|
|
|
|
|
|
З |
|
|
|
|
|
|
|
|
|
|
З |
З |
|
O=1 |
|
|
|
|
|
|
|
|
|
|
|
|
З |
|
|
|
|
|
|
|
З |
|
|
|
|
O=2 |
|
|
|
|
|
|
|
|
|
|
З |
|
|
З |
|
|
|
|
|
|
|
|
|
|
|
ORd |
|
|
|
|
|
|
З |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
LRd |
|
|
|
|
|
|
|
|
|
|
|
З |
|
|
|
|
|
|
|
|
|
|
З |
З |
|
Rd1 |
|
|
|
З |
|
|
|
|
|
З |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1rd |
|
|
|
|
|
|
|
|
|
|
|
З |
|
|
|
|
|
|
|
|
|
|
З |
З |
|
OWr |
|
|
|
|
|
|
|
З |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
LWr |
|
|
|
|
|
|
|
|
|
|
З |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Wr1 |
|
|
|
З |
|
|
|
|
|
З |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
OWh |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
З |
|
|
|
|
|
|
|
|
|
|
OGo |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
З |
|
|
|
|
|
|
|
ImR |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
З |
З |
|
beg |
В |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
end |
|
В |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
; |
|
|
В |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, |
|
|
|
В |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
nat |
|
|
|
|
В |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
: |
|
|
|
|
|
В |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
rd |
|
|
|
|
|
|
В |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
wr |
|
|
|
|
|
|
|
В |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
( |
|
|
|
|
|
|
|
|
В |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
) |
|
|
|
|
|
|
|
|
|
В |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
pex |
|
|
|
|
|
|
|
|
|
|
В |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
id |
|
|
|
|
|
|
|
|
|
|
|
В |
|
|
|
|
|
|
|
|
|
|
|
|
|
:= |
|
|
|
|
|
|
|
|
|
|
|
|
В |
|
|
|
|
|
|
|
|
|
|
|
|
vec |
|
|
|
|
|
|
|
|
|
|
|
|
|
В |
|
|
|
|
|
|
|
|
|
|
|
whl |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
В |
|
|
|
|
|
|
|
|
|
|
ex |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
В |
|
|
|
|
|
|
|
|
|
do |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
В |
|
|
|
|
|
|
|
|
got |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
В |
|
|
|
|
|
|
|
oIf |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
В |
|
|
|
|
|
|
cpx |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
В |
|
|
|
|
|
[ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
В |
|
|
|
|
] |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
В |
|
|
|
im |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
В |
|
|
re |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
В |
|
┴ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Д |