2.2. Подграмматика описаний

DEC	список описаний
DC	описание
DCC	остаток
T	спецификатор типа
T'	остаток спецификатора типа
ID	иниц. описатель
ID'	остаток иниц. описателя
IN	инициализатор
IN'	остаток инициализатора
DR	описатель
DR'	остаток описателя

1. DEC  DC ; DEC

2. DEC  

3. DC  T ID DCC

4. DCC  ID DCC

5. DCC  

6. T  const T'

7. T  typedef T'

8. T' type

9. T'  vector [ e ]

10. T'  limited [ e .. e ]

11. ID  DR ID' ,

12. ID'  = e

13. ID'  

14. DR  id DR'

15. DR'  [ e ] DR'

16. DR'  

Атрибутная грамматика

1. DEC  DC ; DEC

2. DEC  

3. DC  T_s1 ID_p1 DCC_p2

p₁, p₂  s₁

4. DCC_p1  ID_p2 DCC_p3

p₂, p₃  p₁

5. DCC  

6. T_p1  const T'_s1 {конст}_A,R

A  s₁; p₁  R

7. T  typedef T' {тип}_A,R

A  s₁; p₁  R

8. T'_s1type_p1

s₁  p₁

9. T'_s1  vector [ e_p1 ] {вектор}_A,R

A  p₁; s₁  R

10. T'_s1  limited [ e_p1 .. e_p2 ] {ограниченный}_A1,A2,R

A₁  p₁; A₂  p₂; s₁  R

11. ID_p1  DR_p2,s1 ID'_s2 {присвоить}_A1,A2

p₂  p₁; A₁  s1; A₂  s₂

12. ID'_s1  = e_p2

s₁  p₂

13. ID'_s1  

s₁  неопр.

14. DR_p1,s1  id_p2 DR'_p3,s2 {объявление}_A1,A2,R

p₃  p₁; A₁  s₂; A₂  p₂; s₁  R

15. DR'_p1,s1  [ e_p2 ] {массив}_A1,A2,R DR'_p3,s2

A₁  p₁; A₂  p₂; p₃  R; s₁  s₂

16. DR'_p1,s1

s₁  p₁

Семантические процедуры

{конст}_A,R

Устанавливает модификатор const в типеA и возвращает вR.

{тип}_A,R

Устанавливает модификатор typedef в типеA и возвращаетR.

{вектор}_A,R

В R возвращает типvector[A].

{ограниченный}_A1,A2,R

В R возвращает типlimited[A₁ .. A₂].

{массив}_A1,A2,R

У типа A₁ наращивает размерность массива, устанавливает количество элементов вA₂, и возвращает вR.

{объявление}_A1,A2,R

Добавляет A₂ в таблицу идентификаторов (в какую именно – зависит отA₁).

2.3. Основная грамматика

PRG	программа
CO	составной оператор
CO'	остаток составного оператора
OP	помеченный оператор
ST	оператор без метки
G	остаток оператора goto
SE	остаток оператора output
IF	оператор if
IF'	остаток оператора if

1. PRG  int main ( ) CO

2. CO  { dec CO'

3. CO'  OP CO'

4. CO'  }

5. OP  lab OP

6. OP  ST

7. OP  IF

8. ST  CO

9. ST  ;

10. ST  e;

11. ST  goto G

12. G  id ;

13. G  lab ;

14. ST  return e ;

15. ST  input ( e ) ;

16. ST  output ( SE

17. SE  e ) ;

18. SE  str ) ;

19. ST  while ( e ) ST

20. IF  if ( e ) ST IF'

21. IF'  else OP

22. IF'  

Атрибутная грамматика

1. PRG  int main ( ) CO

2. CO  { dec CO'

3. CO'  OP CO'

4. CO'  }

5. OP  lab_p1 {метка}_A OP

A p₁

6. OP  ST

7. OP  IF

8. ST  CO

9. ST  ;

10. ST  e;

11. ST  goto G

12. G  id_p1 {переход}_A ;

A p₁

13. G  lab_p1 {переход}_A ;

A p₁

14. ST  return e_s1 {выход}_A ;

A s₁

15. ST  input ( e_s1 {ввод}_A ) ;

A s₁

16. ST  output ( SE

17. SE  e_s1 {вывод}_A ) ;

A s₁

18. SE  str_s1 {вывод}_A ) ;

A s₁

19. ST  while ( {уид}_R1 {уид}_R2 {метка}_A1 e_p1 {переход_0}_A2,A3 ) ST {переход}_A4 {метка}_A5

A₁, A₄R_1;A₂ p_1;A₃, A₅ R₂

20. IF  if ( {уид}_R e_p1 {переход_0}_A1,A2 ) ST {метка}_A3 IF'

A₂, A₃R; A₁p₁

21. IF'  else OP

22. IF'  