P: S → AB⊥
AB → aABcB | X
Xc → cX
XB → bX
X⊥ → cb⊥
cout << …
.
L1 = { anαbn, α∈(c, d)+, n ≥ 0 }
L2 = { 0m1n + k, где m — количество символов c в цепочке α, k — количество символов d в цепочке α}
P: S → Sa | Aa | Sb | a | b
A → Sa | Ab | a
S → aSB | bAf | ε
A → bAc | cS
B → cB | d
do { x = (a + b)/ x *((-a) /(b + x) - 3); S += x; } while (x > c);