Fonya 7.

Cholesky forma

4.3.1


S -> Mc'N | c'N | Mc' | c
M -> a'M | a
N -> b'N | b

S->M<c'N> | c'N | Mc' | c
<c'N> -> c'N
M -> a'M| a
N -> b'N | b
c' -> c
a! -> a
b' -> b

Kin >= Z
c' = Xc
a' = Xa
b! = Xb