Построение атрибутной транслирующей грамматики

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

35

36

37

38

39

40

41

42

43

44

45

62

63

64

65

66

67

68

S → Decl void main() { SOp }

SOp → Op SOp

SOp → ε

Op → Lab_p: NOp; {NLab}_q

q ← p

Op → NOp;

Op → DecT;

DecT → typedef DecT’

DecT’ → Typ _p ID _q {NType} _p1,q1,n

p1← p

q1 ← q

n ← 0

DecT’ → vector [Dim]_n ID_q {NType} _{p, q1,n1}

p← 3

q1 ← q

n1← n

NOp → { SOp }

NOp → COpG

NOp → COp

NOp → CycOp

NOp → TrOp

NOp → InOp

NOp → OutOp

NOp → Exp

COpG → (Exp _R)? {BFL} _{p, R1} Exp{BRL} _q {DEFL} _p1 : Exp {DEFL} _q1

p, p1← NewLab

q, q1← NewLab

R1 ← R

COp → if (Exp _R) {BFL } _{p, R1} Op COp’ _{p1, p2} {DEFL} _p3

p, p1 ← NewLab

p3 ← p2

R1 ← R

COp’_{p2, p3} → {BRL} _p {DEFL} _p1 else Op

p, p3 ← NewLab

p1 ← p2

Exp’ _{p, R3} → GOp _t Dis _q {GOp} _{t1, p1, q1, R} Exp’_R1,R2

R3 ← R2

p1 ← p

q1 ← q

t1 ← t

R1 ← R

Exp’ _{p, R3} → UnOp _t {UnOp} _{t1, p1, R} Exp’ _R1,R2

R3 ← R2

p1 ← p

t1 ← t

R1 ← R

Exp’ _{p, R} → ε

R ← p

Dis _R → Con _p Dis’ _{p1, R1}

R, ←R1 NewVar

p1 ← p

Dis’ _{p, R} → && Con _q {AndOp} _{p1, q1, R1} Dis’ _{R2, R3}

R ← R3

p1 ← p

q1 ← q

R2 ← R1

Dis’ _{p, R} → ε

R ← p

Con _R → Rel _p Con’ _{p1, R1}

R1, R ← NewVar

p1 ← p

Con’ _{p, R} → AddOp t Rel _q {AddOp} _{t1, p1, q1, R1} Con’ _{R2, R3}

R ← R3

p1 ← p

q1 ← q

t1 ← t

R2 ← R1

Con’ _{p, R} → ε

R ← p

Rel _R → Sm _p Rel’ _{p1, R1}

R1, R ← NewVar

p1 ← p

Rel’ _{p, R} → RelOp t Sm _q {RelOp} _{t1, p1, q1, R1} Rel’ _{R2, R3}

R ← R3

p1 ← p

q1 ← q

t1 ← t

R2 ← R1

Decl1’’_{p, n} → = VecVal _{p1, n1}

p1 ← p

n1 ← n

VecVal _{p, n} → [ELV_t {PEl} _{p1, s, t1,} LNum _{p2, s1} ]

p1, p2 ← p

n ← n1+1

t1 ← t

s, s1 ← 1

Decl1’’_{p, n} → ε

LNum _{p, s} → , ELV_t {PEl} _{p1, s1, t1} LNum _{p2, s2}

p1, p2 ← p

n ← n1+1

t1 ← t

s1, s2 ← s+1

LNum → ε

Var _R → ID _p Var’ _{p1, R1}

R1, R ← NewVar

p1 ← p

Var _R → VecVal _{p, n} {NVec} _{p1, n1, R1}

p1 ← p

R← R1

n1← n+1

21

22

23

24

25

26

27

28

29

30

31

32

33

34

46

47

48

49

50

51

52

53

54

55

56

57

58

59

60

61

69

70

71

72

73

74

75

76

77

78

COp’ _{p1, p2} → ε

p2 ← p1

CycOp → for (NEx; {DEFL} _p NEx _R;

{BFL} _{q, R1} {BRL} _s {DEFL} _t NEx {BRL} _p1 {DEFL} _s1) Op {BRL} _t1 {DEFL} _q1

p1 ← p

R1 ← R

q1 ← q

s1 ← s

t1 ← t

NEx _R1 → Exp _R

R1← R

NEx → ε

TrOp → goto Lab _p {BRL} _p1

p1 ← p

OutOp → printf ( Pr _p {Printf } _q NPr )

q ← p

NPr → , Pr_p {Printf } _q NPr

q ← p

NPr → ε

Pr_p1 → Var_p

p1 ← p

Pr_p1 → Num_p

p1 ← p

Pr_p1 → Str_p

p1 ← p

InOp → scanf Var _p {Scanf} _q

q ← p

Exp _R1 → Dis _p Exp’ _{p1, R}

R, R1 ← NewVar

p1 ← p

Exp’ _{p, R3} → || Dis _q {OrOp} _{p1, q1, R} Exp’ _{R1, R2}

R3 ← R2

p1 ← p

q1 ← q

R1 ← R

Rel’ _{p, R} → ε

R ← p

Sm _R → Ml _p Sm’ _{p1, R1}

R1, R ← NewVar

p1 ← p

Sm’ _{p, R} → MOp t Ml _q {MOp} _{t1, p1, q1, R1} Sm’ _{R2, R3}

R ← R3

p1 ← p

q1 ← q

t1 ← t

R2 ← R1

Sm’ _{p, R} → ε

R ← p

Ml _p → Num _p1

p ← p1

Ml _p → Var _p1

p ← p1

Ml _p → (Exp _p1)

p ← p1

Ml _p → UnOp _t Ml _q {UnOp} _{t1, q1, p1}

q1 ← q

t1 ← t

p ← p1

Ml _p → ! Ml _q {NotOp} _{q1, p1}

q1 ← q

p ← p1

Decl → Decl1; Decl

Decl → ε

Decl1 → Typ _t ID _p {NVar} _{t1, p1} Decl1’ _p2

t1 ← t

p1, p2 ← p

Decl1 → const Typ _t ID _p {NConst} _{t1, p1} Decl1’ _p2

t1 ← t

p1, p2 ← p

Decl1 → vector ID _p [Dim _n]{NVec} _{p1, n1} Decl1’’ _p2,n2

n1, n2 ← n

p1, p2 ← p

Decl1’ _p → = Num _q {GOp} _{t, p1, q1}

p1 ← p

q1 ← q

t ← 1

Decl1’ _p→ ε

Var’ _{p, R} → [ Ind _n ] {REl} _{p1, n1, R1}

p1 ← p

n1 ← n

R ← R1

Var’ _{p, R} → ε

R ← p

ElV _p1 → ID _p

p1 ← p

ElV _p1 → Num _p

p1 ← p

Typ _p1 → Type _p

p1 ← p

Typ _p1 → ID _p

p1 ← p

Dim _p1 → CN _p

p1 ← p

Ind _p1 → CN _p

p1 ← p

Num _p1 → CF _p

p1 ← p

Num _p1 → CN _p

p1 ← p

Операционный символ

Описание

Формируемая тетрада

{NLab}_q

NLab

q

{Printf } _q

Printf

q

{Scanf } _q

Scanf

q

{OrOp} _{p, q, R}

||

p

q

R

{GOp} _{t, p, q}

В зависимости от кода tформирует тетрады =,+=, -=, *=, /=

+=

p

q

p

=

q

p

{UnOp} _{t, p, R}

В зависимости от кода tформирует тетрады ++, --, ~~ (в случае ++, --R=p)

++

p

1

p

~~

p

R

{AndOp} _{p, q, R}

&&

p

q

R

{AddOp} _{t, p, q, R}

В зависимости от кода tформирует тетрады +, -

+

p

q

R

{RelOp} _{t, p, q, R}

В зависимости от кода tформирует тетрады >, <, >=, <=, ==, !=

>

p

q

R

{MOp} _{t, p, q, R}

В зависимости от кода tформирует тетрады *, /.pиqмогут быть и числами, и векторами (один из них вектор –R-вектор, оба –R-число)

*

p

q

R

{NotOp} _{q, p}

!

q

p

{NVar} _{t, p}

NVar

t

p

{NConst} _{t, p}

NConst

t

p

{NVec} _{p, n}

NVec

p

n

{NType} _{p, q, n}

NType

p

q

n

{REl} _{p, n, R}

Rel

p

n

R

{PEl} _{p, s, t, n}

Если s<=nформирует тетраду

PEl

t

s

p

{BFL } _{p, R}

BFL

p

R

{BRL} _p

BRL

p

{DEFL} _p

DEFL

p