Z4 -> Pex Sgn Pex
) Z4 -> (Lex)
) F1 -> or Z1 F1
) F1 -> or Z1
) F2 -> and Z2 F2
) F2 -> and Z2
) Sgn -> << / P>
) Sgn -> >
17) Sgn -> =
) Sgn -> <=
) Sgn -> >=
) Sgn -> <>
. Граматика простих виразів GR14 (Початковий символ Pex )
Термінали:
+=+;-=-; *=*, /;
(= (; /=/ ;) =);
id=ідент; Cid =* КонстІден; Scn =* СтрокКонст;
Fun =* функція;
Нетермінали:
Pex =* вираз 2; E1=2;=2; T1=2;=5;
Правила:
) Pex -> T1 E1
2) Pex -> T1
) E1 -> + T1 E1
) E1 -> + T1
) E1 ->- T1 E1
) E1 ->- T1
) E2 -> * T2 E2
) E2 -> * T2
) E2 ->/T2 E2
) E2 ->/T2
) T1 -> T2 E2
) T1 -> T2
) T2 -> id
) T2 -> Cid
) T2 -> Scn
) T2 -> Fun
) T2 -> (Pex)
15. Граматика виклику фукций GR15 (Початковий символ Fun )
Термінали:=integer; str=string; lng=length;=concat; pos=pos; sym=StrChar;
(= (;) =);, =;
Pex =* вираз;
Нетермінали:
Fun =* функція 6;
Правила:
) Fun -> int (Pex)
) Fun -> str (Pex)
) Fun -> lng (Pex)
) Fun -> cnc (Pex, Pex)
) Fun -> pos (Pex, Pex)
) Fun -> sym (Pex, Pex)
16. Граматика цілих констант GR16 (Початковий символ Cid )
Термінали:=ЦелБезЗнак;-=-;
Нетермінали:
Cid =* КонстІден 2;
Правила:
) Cid ->- Nat
) Cid -> nat
. Граматика строкових констант GR17 (Початковий символ Scn )
Термінали:=Будь-який символ; « =»;
Нетермінали:
Scn =* СтрокКонст 2; Sms=список символів 1;=символ 2;
Правила:
) Scn -> « Sms »
2) Scn -> « »
) Sms -> Sym
) Sym -> Any
5) Sym -> Any Sym
.3 Опис...
