Абстрактный синтаксис языка While | MetodPro.ru

Реклама на сайте

Абстрактный синтаксис языка While


1)    Абстрактный синтаксис языка While
1)    Семантика императивного языка While
•    While – подмножество Паскаля, в котором использован только один вид цикла.
•    for i := c1 to c2 do S;
это
i:=c1; while i <=c2 do begin S; i:=succ(i) end;
•    repeat S until b;
это
S; while not b do S;
2)    Абстрактный синтаксис языка While
Синтаксические категории
1) p I Program 2) B I Block 3) D I Decl 4) C I Command 5) e I Exp 6) be I BExp 7) I I id
       8) x I Var 9) bx I BVar 10) op I Op 11) bop I BOp 12) n I Num

3)    Определения
p ::= B
B ::= D ; C
D ::= var x | bvar bx | procedure I:C | D’; D”
C ::= skip | x := e | C’ ; C”
| if be then C’ else C”
   | while be do C’ | begin B end
e ::= x | n | e’ op e” | if be then e’ else e”
be ::= bx | T | F | Not be’| Equal (e,e’)
     | be’ bop be”
op ::= + | - | * | div
bop ::= and | or



Методические пособия

  • Системы автоматизированного проектирования
  • Социология молодёжи
  • Общая социология
  • Криптография
  • Проектирование трансляторов
  • Компьютерная графика
  • Моделирование систем
  • Информационная безопасность
  • Теория вычислительных процессов
  • Логические основы искусственного интелекта
  • Проектирование распределённых информационных систем