Постройте КС-грамматику языка определяющего для цепочек вида

КС – грамматика:
S-> X Z x Z | Z x Z | X Z | Z
X-> x | X x
Z-> xz | Z xz
S-> PROC <идентификатор> ( Р ) ; BEGIN END <идентификатор> ;
Р-> [VAR] I: T | [VAR] I:T; P
I-> <идентификатор> | <идентификатор>, I
T-> INTEGER | BYTE | CHAR
Дерево нисходящего разбора цепочки xxzxz
:
S
X Z
x Z x z
x z
Свертку цепочки xxxz
построим пошагово, будем находить самую левую основу для свертки и заменять ее подходящим нетерминалом из левой части правил грамматики.
xxxz
Xxxz
Xxz
XZ
S
Примечание: на третьем шаге свертки для основы Xx есть подходящее правило X-> Xx, но если применить его, не будет получен начальный символ грамматики, поэтому берем основу xz.
Дерево восходящего разбора:
S
X
X Z
x x x z