, G LL(k)-, : :
- , L, .
.
. 
0: 
- .
1: 
- .
. ..
n: 
- .
. . .
m: 
.
, LL(k) - : - :
, ,
LL(k)- (k>1) , w () (n), n=| w |.
LL(k)- , w G:
, S, k , S ( - "") , () EOF.
1, 2, p :
:
:
LL(k)- , i :
. LL(2)- :
:
,
.
S- u :
T0 :
| aa | ab | ba | bb | a | b | 
|
| 
| 
|
A- u :
|
| aa | ab | ba | bb | a | b |
|
| 
|
| 
|
S - u :
|
| aa | ab | ba | bb | a | b |
|
|
| 
|
A- u :
|
| aa | ab | ba | bb | a | b |
|
|
|
|
|
- ( LL(k)- :
' - :
|
| aa | ab | ba | bb | a | b |
|
|
|
| |||||
|
|
|
| ||||
|
|
| |||||
|
|
|
|
. LL(k) - (k>1).
0: k (, k). 0.
|
|
|
. .
i: - Ti, (i, <k- >) , Ti .
- 
k 
, (, ).
- , .
- - .
