AVN - G(VT,VN,P,S) , +αβ, α,β(VTVN)*.
α= β, , G ; α β=, , G . α= β=, . G , , .
- , , ( ).
- , . , - , .
- , . , - , .
, , . , G : ( ) ( ). .
, - .
: - G(VT,VN,P,S), G(VN,VT,P,S): L(G) = =L(G).
, VN : i j.
1. : VN={A1,A2,An}. i:=1.
2. i. , В , i VN.
i, i Aiα1|Aiα2|...|Aiαm|β1|β2|...|βp, j 1jP , Ak, , ki.
В :
Ai β1|β2|...|βp|β1Ai| β2Ai|| βpAi
|
|
Ai α1|α2|...|αm|α1Ai| α2Ai|| αmAi
Ai Ai VN.
Ai , Ak, , k > i.
3. i=n, G , i:= i+1, j:=1 4.
4. j В AiAjα, α(VTVN)*, Ai β1α| β2α |...| βmα, Aj β1| β2|...| βm j.
Aj β1| β2|...| βm Ak, k>j, i .
5. j =i1, 2, j:=j+1 4.
6. G Ak, S G.
, , .
- G(VT,VN,P,S) , :
1. α, aVT αVN*.
2. S, L(G), S .
.
( , ).