. . - ( -).
, , :
: () ;
α ;
( , A1α, A2α,... nα).
- , -. , , - ( - , -). , , - ( ), .
, LL(k)-. -, LR(k)-.
- LR(k), k0, - (-) - k .
LR(k)-, LR(k) k0.
LR(k), LL(k), . L : . R right , LL(k), , . k , , , -. , LR(0)-, LR(1)- .
LR(k)- k0 LR-.
. 4.2 LR(k)-. α, . , , z, -. , . . LR(k) , , -, k , α. z
z.
|
|
. 4.2. LR()-
, LR- , LL-. , LR(k)- , LL(k)-. , LL(k)- k , LR(k)- k . , , , -.
. , LR- , LL-. -, LL-, LR-, , . , LR-, LL-, . , LL- LR-, LR- LL-.
LR(k)- :
LR(k)- k 0 ;
, , LR(k)- k.
, , - ( -):
, , - LR(k)- k;
, ( , ) - LR(k)- k.
, LR- LR- -. , -, LR(k)- - ( LR-), -, - LR-, . , .
LR- - ( , , ). , - LR-, , - , . - , LR-. , LR-, , , , . , , , . LR- - .
|
|