Курсовик по ТЯПру / PART2
.DOC4.4 Построение ДМП-процессоров.
1) ДМП-процессор для грамматики GR1
(Начальный символ S).
ФУНКЦИИ ТИПА "ПЕРЕНОС-СВЕРТКА":
функция "перенос" (количество элементов: 14x9):
|
pro |
id |
; |
def |
opl |
beg |
end |
. |
Eps |
S |
|
|
|
|
|
|
|
|
|
BOp |
|
|
|
|
|
|
|
|
C |
Ops |
|
|
|
|
|
|
ПЕР |
|
|
Op1 |
|
|
|
|
|
|
C |
|
|
pro |
|
ПЕР |
|
|
|
|
|
|
|
id |
|
|
ПЕР |
|
|
|
|
|
|
; |
|
|
|
ПЕР |
ПЕР |
ПЕР |
|
|
|
def |
|
|
|
|
|
ПЕР |
|
|
|
opl |
|
|
ПЕР |
|
|
|
C |
|
|
beg |
|
|
|
|
ПЕР |
|
|
|
|
end |
|
|
|
|
|
|
|
ПЕР |
|
. |
|
|
|
|
|
|
|
|
C |
┴ |
ПЕР |
|
|
|
|
|
|
|
|
┴ S |
|
|
|
|
|
|
|
|
ДОП |
функция "свертка" (количество элементов: 13x6):
|
1 |
2 |
3 |
4 |
5 |
6 |
S |
|
|
|
|
|
|
BOp |
|
|
|
|
|
|
Ops |
|
|
|
|
|
|
Op1 |
|
|
|
|
|
|
pro |
|
|
|
|
|
|
id |
|
|
|
|
|
|
; |
|
|
3 |
|
5 |
6 |
def |
|
|
3 |
|
|
|
opl |
|
|
|
|
|
|
beg |
|
|
|
4 |
5 |
6 |
end |
|
|
|
|
|
|
. |
|
|
|
|
|
|
┴ |
1 |
2 |
|
|
|
|
Правила грамматики:
1) S → pro id ; def BOp
2) S → pro id ; BOp
3) Bop → beg Ops end .
4) Ops → Op1
5) Op1 → opl
6) Op1 → opl ; Op1
2) ДМП-процессор для грамматики GR2. (Начальный символ Def).
ФУНКЦИИ ТИПА "ПЕРЕНОС-СВЕРТКА":
функция "перенос" (количество элементов: 32x14):
|
con |
lab |
var |
typ |
Typ |
; |
, |
: |
= |
nat |
id |
cid |
# |
Eps |
Def |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Df |
|
|
|
|
|
|
|
|
|
|
|
|
|
C |
DfL |
ПЕР |
|
ПЕР |
ПЕР |
|
|
|
|
|
|
|
|
|
C |
Bl1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
C |
DfC |
|
|
ПЕР |
ПЕР |
|
|
|
|
|
|
|
|
|
C |
Bl2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
C |
DfT |
|
|
ПЕР |
|
|
|
|
|
|
|
|
|
|
C |
Bl3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
C |
DfV |
|
|
|
|
|
|
|
|
|
|
|
|
|
C |
LLb |
C |
|
C |
C |
|
|
|
|
|
|
|
|
|
C |
LL1 |
C |
|
C |
C |
|
|
|
|
|
|
|
|
|
C |
LCn |
|
|
C |
C |
|
|
|
|
|
|
|
|
|
C |
Cns |
|
|
|
|
|
ПЕР |
|
|
|
|
|
|
|
|
LTp |
|
|
C |
|
|
|
|
|
|
|
|
|
|
C |
Vrs |
|
|
|
|
|
|
|
|
|
|
|
|
|
C |
LVr |
|
|
|
|
|
|
|
ПЕР |
|
|
|
|
|
|
LV1 |
|
|
|
|
|
|
|
C |
|
|
|
|
|
|
con |
|
|
|
|
|
|
|
|
|
|
ПЕР |
|
|
|
lab |
|
|
|
|
|
|
|
|
|
ПЕР |
|
|
|
|
var |
|
|
|
|
|
|
|
|
|
|
ПЕР |
|
|
|
typ |
|
|
|
|
|
|
|
|
|
|
ПЕР |
|
|
|
Typ |
|
|
|
|
|
ПЕР |
|
|
|
|
|
|
|
|
; |
C |
|
C |
C |
|
|
|
|
|
|
ПЕР |
|
|
C |
, |
|
|
|
|
|
|
|
|
|
ПЕР |
ПЕР |
ПЕР |
|
|
: |
|
|
|
|
ПЕР |
|
|
|
|
|
|
|
|
|
= |
|
|
|
|
ПЕР |
|
|
|
|
|
|
ПЕР |
ПЕР |
|
nat |
|
|
|
|
|
ПЕР |
ПЕР |
|
|
|
|
|
|
|
id |
|
|
|
|
|
|
ПЕР |
C |
ПЕР |
|
|
|
|
|
cid |
|
|
|
|
|
C |
ПЕР |
|
|
|
|
|
ПЕР |
|
# |
|
|
|
|
|
C |
|
|
|
|
|
ПЕР |
|
|
┴ |
ПЕР |
ПЕР |
ПЕР |
ПЕР |
|
|
|
|
|
|
|
|
|
|
┴ Def |
|
|
|
|
|
|
|
|
|
|
|
|
|
ДОП |
функция "свертка" (количество элементов: 31x30):
|
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 |
Def |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Df |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
DfL |
|
|
|
|
|
|
7 |
8 |
9 |
10 |
11 |
12 |
13 |
14 |
15 |
16 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Bl1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
DfC |
|
|
|
|
|
|
|
|
|
|
11 |
12 |
13 |
14 |
15 |
16 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Bl2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
DfT |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
15 |
16 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Bl3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
DfV |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
LLb |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
LL1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
LCn |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Cns |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
LTp |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Vrs |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
LVr |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
LV1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
con |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
20 |
21 |
|
|
24 |
25 |
|
|
|
29 |
30 |
lab |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
17 |
18 |
19 |
|
|
|
|
|
|
|
|
|
|
|
var |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
20 |
21 |
|
|
24 |
25 |
26 |
27 |
28 |
29 |
30 |
typ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
20 |
21 |
|
|
24 |
25 |
|
|
|
29 |
30 |
Typ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
20 |
21 |
|
|
24 |
25 |
26 |
27 |
28 |
29 |
30 |
, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
18 |
19 |
20 |
21 |
|
|
24 |
25 |
|
|
|
29 |
30 |
: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
22 |
23 |
|
|
|
|
|
|
|
nat |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
id |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
cid |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
# |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
┴ |
1 |
|
3 |
4 |
5 |
6 |
7 |
8 |
9 |
10 |
11 |
12 |
13 |
14 |
15 |
16 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|