       14. ⠪᪨ ࠧ ᫥ ࠢ (LR)

        ᬮਬ   ⮤ ᨭ⠪᪮ ࠧ-
,  뢠 LR(1)-ࠧ஬,  ⠪  饭 
ਠ.

      14.1. LR-

       ⫨  LR(1)-ࠧ    LL(1)-ࠧ:  -,
ந     뢮,  ࠢ, -,  ந  
砫,   . (뢮  -ࠬ⨪ 뢠 ࠢ, -
   蠣  ࣠ ᠬ ࠢ ନ.

     14.1.1. ,  ᫨ ᫮, 饥   ନ,
뢮,    ࠢ 뢮.

       㤥 㤮 ᬮ  ࠢ 뢮 " ।".
। ⨥ LR-  ᫮ A.  ⮬ , -
 A, 㤥 ⢮  㣮 ᫮ S, ஥  ᮤ-
  ନ, ⠪  ନ. 砫 ᫮ S .  
室 LR- ࠧ襭   ⢨:
     (1)    ७    ᨬ ᫮  ( 뢠
। ᨬ   Next)    ᫮  S,  㤠
  A ( ⢨ 뢠 ᤢ);
     (2) ᫨ ࠢ    ࠢ ࠬ⨪ 
殬  ᫮  S,  ࠧ蠥    ନ, -
騩    ⮣ ࠢ;  ⮬ ᫮ A   .
( ⢨ 뢠 ᢥ⪮,  ਢ.)
     ⬥⨬,    LR-    ନ஢: 
  ⮩  樨   ࠧ襭 ࠧ ⢨.
     ,  LR-  ᫮ A ᯥ譮 蠥, -
 ᫮ A ⠭ ,   ᫮ S ⠥  ⢥
ନ - 砫 ନ ࠬ⨪.

     14.1.2.  ,      ᫮ A ( ନ)
ᯥ譮 騩 LR-  ⮣  ⮫쪮  ⮣-
,    ᫮ A 뢮  ࠬ⨪.  室 ⥫⢠
⠭  筮 ᮮ⢥⢨  ࠢ묨  뢮-
  ᯥ譮 騬 LR-ᠬ.

     襭.  ᤢ ᫮ SA  ,  ᢥ⪥ ᫮
SA  ࣠ ८ࠧ, ⭮ 蠣 뢮.  -
 㤥 ࠢ, ⠪  ᢮稢  S,   A   ᨬ-
  -  ନ.   ࠧ,  LR- ᮮ-
 ࠢ 뢮. ⭮ ᮮ⢥⢨:    ࠢ
뢮.  ।⠢  ᥡ,    ᫥ ନ  ᫮
⮨ ॣத. ਬ  ⮬ ନ ࠢ  ࠬ-
⨪,      ᤢ ॣத  (᫨ ࠢ 
ࠢ 砥  ନ).   ᤢ  ⤥
蠣, 稬 ,  筮  LR-.

     ᪮  室 LR-    ᫮ S ந-
室  ࠢ , ᫮ S 뢠 ⥪ LR-.

      ஥ ࠢ 뢮   ᫮  ᢮-
,  ⠪ ࠧ,  ࠢ쭮 롮 । 蠣 LR--
.  㦭 , 㤥    ᤢ  ᢥ, 
᫨ ᢥ,    ࠢ -  室 ࠢ  -
  ᪮쪮.  LR(1)-⬥  襭 ਭ 
᭮  S  ࢮ ᨬ ᫮ A; ᫨ ᯮ ⮫쪮 S,
   LR(0)-⬥. ( । ᬮ .)

      K -> U -   ࠢ ࠬ⨪ (K - ନ, U
- ᫮  ନ  ନ). । ⢮  ᫮
( ନ  ନ), 뢠  ⥪⮬ -
 K -> U. (祭: (K->U).)  ।  
室    ᫮,      ᮤন  ⥪ -
।⢥ । ᢥ⪮ U  K  室 ண ᯥ譮 -
饣 LR-.

     14.1.3. 㫨஢  ।   몥  ࠢ
뢮.

     襭. ᬮਬ  ࠢ 뢮 
        <砫 ନ> --> XKA -> XUA,
  A - ᫮  ନ, X - ᫮  ନ  ନ-
.  騥  ⮬ ᫮ XU  ࠧ    -
⥪  ࠢ  K->U. ⮡ 㡥  ⮬, ᫥ ᯮ,
  ।,    ନ  뢥 -
- ᫮  ନ (㣨 ࠬ⨪   ᬠਢ-
), ⠪  ࠢ 뢮 ᫮ XUA   த  -
 뢮 - ᫮  ନ.

     14.1.4.  ᫮  (K->U) , 祢,  
U.  ,  ᫨      U ,  -
祭 ⢮ ᫮    ⮣,   ࠢ  
ନ K ࠭. ( ⢮ 砥 (K).)

     襭.    ।饩  ᭮,  (K) -  ,
    ࠢ 뢮  ᠬ ࠢ -
 K.

     14.1.5. ,   ।饩  ࠧ    
᫮  "ᠬ  ࠢ":  (K)  -   ,   -
  ࠢ 뢮   宦 ନ K.

     襭. த ஥ ࠢ 뢮,   ନ-
  ࠢ   K    ନ ( ᫥  K 
⮬ 祣  ).

     14.1.6. ந ࠬ⨪, ᮤঠ   -
 K 室 ࠬa⨪ ନ <K>, 祬 ᫥饥
᢮⢮  믮    ନ  K  室
ࠬ⨪:     ࠬ⨪  <K> 뢮  
(K)  ⮫쪮 .

     襭.  P - 砫 ନ ࠬ⨪.  
 ࠬ⨪ 㤥 ࠢ
     <P> ->       (⮥ ᫮)
  ࠢ 室 ࠬ⨪, ਬ, ࠢ

      K -> L t M N (L, M, N - ନ, t - ନ),

  ࠬ⨪   ࠢ
      <L> -> <K>
      <M> -> <> L t
      <N> -> <K> L t M
 筮 㯨  㣨 ࠢ.      ࠢ
⠪: ⮥ ᫮   ᫥  P; ᫨ ᫮ X -
    ᫥  K,  X   ᫥  L, XLt
  ᫥  M, XLtM - ᫥  N. 樥  -
 ࠢ 뢮  ஢,  ,    
᫥  - ନ,   ᮮ⢥⢨  -
 ࠢ.

     14.1.7. 祬  ।饩  ,   ᬠ-
 ⮫쪮 ࠢ 뢮?

     ⢥.  ⨢ 砥 ᫥  뢠 ८ࠧ-
, ந室騥  ᫮, 饣 ᫥  K.

     14.1.8.     ࠬ⨪ ந , 
  ᫮ ,    (K)  ਭ-
.

     (砭  ⮪. ⢮ ⠪ ⬠ - 
 筮 ⮬, .. ⨢ ७  
᫮ 祭, - ⥪  ।饩 , .. ஥-
   ࠬ⨪  ᯥ樠 :  ࠢ    
ᥣ  ନ, 祬  ⮨   .   -
  ਢ  ஥.)

     襭. 㤥 뢠 樥  ࠬ⨪  
  ࠢ,  ࠢ  ண ⬥祭   権 (
ࢮ 㪢,  ࢮ  ன 㪢,..., ᫥  ᫥
㪢). ਬ, ࠢ
     K -> L t M N   (K, L, M, N - ନ, t - ନ)
஦  権
      -> _LtMN, K-> L_tMN, K-> Lt_MN, K-> LtM_N, K -> LtMN_.
( 㪠뢠  ન).
     㤥 ,  ᫮ S ᮣᮢ  樥 K->U_V,
᫨  S  砥   U,   S=TU  ஬ T, , ஬
⮣, T ਭ (K). (  ⮣  ।  ਬ୮
⠪:    ⥪ S ⮢  U  饩 ᢥ⪨ UV 
K.)   ନ (K->X) -    ⢮    ᫮,
ᮣᮢ    樥 K->X_,  () -  ⢮ 
᫮, ᮣᮢ  樥 K->_X ( K->_X -  ࠢ
 ନ K).
     ⭮  ।  ନ LR-: S ᮣ-
ᮢ  樥 K->U_V, ᫨  ᯥ  LR-,
 ஬ ᮡ ࠧ ⠪:
     -  室   ⥪  ᫮ S,   -
稢  U;
     -  ஥ ६ S  ࠣ,  ࠢ   -
 V;
     - UV ᢮稢  K;
     -  த  ᯥ譮 蠥.

     14.1.9.  ⭮  ।.

     .  ᫨ S=TU  T ਭ (K),   -
  ⥪ ᭠砫 T, ⮬ U, ⮬ V, ⮬ ᢥ୥ UV  K 
⥬ ᯥ譮 訬 . ( ᯮ㥬 ᪮쪮 ࠧ 
䠪,    ନ -   뢮:  
⮬     ⥪  ᫮.)

       楫 - ஥ ⬠, ᯮ饣 ਭ-
 ந쭮 ᫮  (K). ᬮਬ  㭪,  ᮯ-
⠢    ᫮ S ( ନ  ନ) -
⢮  ᮣᮢ   権.  ⢮ 뢠
ﭨ,  ᮮ⢥騬  ᫮  S.  㤥     
(S).  筮  ,   㭪 (S) ⨢,
..  祭 (SJ),  J - ନ  ନ, -
  ᫥, ᫨ ⭮ (S)  ᨬ J. ( 
࠭,  ਭ  () ࠦ    ନ  ⮩
㭪樨.) 祭 (SJ)   ⠪ ࠢ:
     (1)  ᫨ ᫮ S 뫮 ᮣᮢ  樥 K->U_V, -
祬 ᫮ V 稭  㪢 J,   V=JW,  ⥯ ᫮
SJ 㤥 ᮣᮢ  樥 K->UJ_W.
      ࠢ  ।   樨    ⮩
   (   稭騥  ન), ᮣ-
ᮢ  SJ. ⠫ ।,    ନ  K
᫮ SJ ਭ (K).     ࠢ:
     (2) ᫨ 㦥 ᭥,   L->U_V ᮣᮢ  SJ
(  ࠢ (1)),  V 稭  ନ ,  SJ ਭ-
 (K).
     (3) ᫨ 㦥 ᭥,  SJ 室  (L)  -
 L, L->V - ࠢ ࠬ⨪  V 稭  ନ  K,
 SJ ਭ (K).
     ⨬,    ࠢ  (3)   ᬠਢ  
ࠢ (2):  㪠   (3)  ।    L->_V
ᮣᮢ  SJ,  V 稭  ନ K.
     ४⭮    ࠢ   饬- 祢, ᫨ -
襭쪮 㬠. ⢥,  ॡ  ᭥ -
 , 祬   ࠢ (2)  (3) 㦠  ନ-
 K,   SJ ਭ (K). ⠥  -
. ᬮਬ ࠢ 뢮,  ஬ SJ ⮨  ᫥    K.
㤠     ନ K? ᫨ ࠢ, ஥ 
த,  த ⠪   ᫮ SJ,  ਭ SJ
 (K) 㤥 㦥  ࠢ (2). ᫨  K 뫮  ࢮ
㪢  ᫮, ஦ - 㣨 ନ L,  -
 ࠢ (3) - 筮 ⠭ ਭ  SJ
 (L). ⠫ ਬ   㦤  L  ..
       ନ LR-   ᠬ  ᪠ ⠪. -
砫 ନ K  ⢮   ᪮쪨  ᢥ⪠,  
ࠣ  SJ ( ᮮ⢥ ਬ ࠢ (3)), 
⥬  易 ࣭ ᢥ⪥, ࠣ饩 SJ ( -
⢥ ਬ ࠢ (2)).
     ⠫ ᭨,  樨 ᮣᮢ   ᫮-
,     ନ K ⮥  ᫮  ਭ
(K).    ।   ᫥騬 ࠢ: (1) 砫
ନ ⠪; (2) ᫨ K ⠪  K -> V - ࠢ  ࠬ-
, 祬 ᫮ V 稭  ନ L,   L ⠪.

     14.1.10. த ᠭ   ࠬ⨪

        E -> E + T
        E -> T
        T -> T * F
        T -> F
        F -> x
        F -> ( E )

     襭.

 S                    (S)
_________________________________________________

⮥   E->_E+T;E->_T;T->_T*F;T->_F;F->_x;F->_(E)
E        E->E_+T
T        E->T_; T->T_*F;
F        T->F_
x        F->x_
(        F->(_E);E->_E+T;E->_T;T->_T*F;T->_F;F->_x;F->_(E)
E+       E->E+_T;T->_T*F;T->_F;F->_x;F->_(E)
T*       T->T*_F;F->_x;F->_(E)
(E       F->(E_);E->E_+T;
(T       = T
(F       = F
(x       = x
((       = (
E+T      E->E+T_;T->T_*F
E+F      = F
E+x      = x
E+(      = (
T*F      T->T*F_;
T*x      = x
T*(      = (
(E)      F->(E)_
(E+      = E+
E+T*     = T*

 ࠢ⢠ 砥,  ⢠ 権, 騥 -
祭ﬨ  㭪樨  (S)    ᫮,  ᫥  ࠢ 
 ࠢ⢠, .
     ࠢ । (SJ), ᫨  (S)  J  (S
-  ᫮  ନ  ନ, J - ନ  ନ-
), ⠪:
       (S)  ࠢ ,   ᮮ⢥饥
  ᫮  T     , ਯ   J   -
⢮, 饥 ⨢ ᫮ J (᫨ ᫮ J   ⠡  -
,  (SJ) ).


     14.2. LR(0)-ࠬ⨪.

     ,    ᭮ 楫 -   뢮 -
 ᫮, , 㣨 ᫮,    ᯥ譮  LR-
  .      ᬠਢ    ࠬ⨪ ᯥ
LR- (  ᫮) ⢥. ᪠  ⢥-
 ᯥ   㤥 ⥯:        
ᬮਬ,    蠣  ᫥騬.  ⮣  ࠬ⨪
   ⥫ ॡ,  ᥩ  ᬮਬ
⥩訩 砩 ⠪ 뢠 LR(0)-ࠬ⨪.

      㦥 :
     (1)  ᯥ譮 LR-  ᢥ⪠  ࠢ K->U
 ᮤন ⥪ S ⮣  ⮫쪮 ⮣,  S ਭ
(K->U)  , 㣨 ᫮,  ᫮ S ᮣᮢ 
樥 K->U_.
     筮 ⢥ত  ᤢ :
     (2)  ᯥ譮 LR-  ᮤন ⥪ S
 ᤢ  । ᨬ a ⮣  ⮫쪮 ⮣, -
 S ᮣᮢ  ன 樥 K->U_aV.

     14.2.1.  .
     .  ந襫 ᤢ   ⥪ S  -
 a. ᬮ  ᢥ, ࠣ  㪢.

   
     ।. ᬮਬ  ࠬ⨪  ந쭮
᫮ S  ନ  ନ. ᫨ ⢮ (S) -
ন  ,  ன ࠢ  ન ⮨ ନ-
,  ,   ᫮ S  ᤢ. ᫨   (S)
  ,  ன ࠢ  ન 祣 , 
,   ᫮ S  ᢥ⪠  (  ᮮ⢥饬
ࠢ).  ,      ᫮  S   䫨 ⨯
ᤢ/ᢥ⪠, ᫨   ᤢ,   ᢥ⪠.  ,  
  ᫮  S  䫨 ⨯ ᢥ⪠/ᢥ⪠, ᫨ 
᪮쪮 ࠢ,    ᢥ⪠.
     ࠬ⨪  뢠  LR(0)-ࠬ⨪,  ᫨    
䫨⮢ ⨯ ᤢ/ᢥ⪠  ᢥ⪠/ᢥ⪠      
᫮ S.

     14.2.2.   ਢ  ࠬ⨪ LR(0)-ࠬ-
⨪?

     襭. ,    .    ᫮  T    E+T  
䫨 ⨯ ᤢ/ᢥ⪠.

     14.2.3.   LR(0)-ࠬ⨪ ⠪:

     () T->0
         T->T1
         T->TT2
         T->TTT3

     () T->0
         T->1T
         T->2TT
         T->3TTT

     襭. ()

 S                    (S)
_________________________________________

⮥    ->_0;T->_T1;T->_TT2;T->_TTT3
0         ->0_
         ->_1;T->T_T2;T->T_TT3;->_0;T->_T1;T->_TT2;T->_TTT3
T1        T->T1_
TT        T->TT_2;T->TT_T3;T->T_1;T->T_T2;T->T_TT3;
          T->_0;T->_T1;T->_TT2;T->_TTT3
TT2       T->TT2_
TTT       T->TTT_3;T->TT_2;T->TT_T3;T->T_1;T->T_T2;T->T_TT3
          ->_0;T->_T1;T->_TT2;T->_TTT3
TT0       = 0
TTT3      T->TTT3_
TTT2      = TT2
TTTT      = TT
TTT0      = 0

䫨⮢ ,  LR(0)-ࠬ⨪.

     ()

 S                    (S)
_______________________________________________

⮥    T->_0;T->_1;T->_2;T->_3
0         ->0_
1         ->1_T;T->_0;T->_1;T->_2;T->_3
2         T->2_TT;T->_0;T->_1;T->_2;T->_3
3         T->3_TTT;T->_0;T->_1;T->_2;T->_3
1T        T->1T_
10        = 0
11        = 1
12        = 2
13        = 3
2T        T->2T_T;T->_0;T->_1;T->_2;T->_3
20        = 0
21        = 1
22        = 2
23        = 3
3T        T->3T_TT;T->_0;T->_1;T->_2;T->_3
30        = 0
31        = 1
32        = 2
33        = 3
2TT       T->2TT_
2T0       = 0
2T1       = 1
2T2       = 2
2T3       = 3
3TT       T->3TT_T;T->_0;T->_1;T->_2;T->_3
3T0       = 0
3T1       = 1
3T2       = 2
3T3       = 3
3TTT      T->3TTT_
3TT0      = 0
3TT1      = 1
3TT2      = 2
3TT3      = 3

䫨⮢ ,  LR(0)-ࠬ⨪.

       뢠,  LR(0)-ࠬ⨪    
४ᨢ묨, ⠪  ࠢ४ᨢ묨.

     14.2.4.   LR(0)-ࠬ⨪. ,   
᫮     ࠢ 뢮. ந -
 ஢ન 뢮  LR(0)-ࠬ⨪.

     襭.      ந쭮  ᫮ A. 㤥 ந
LR-  A  蠣.  ⥪饥 ﭨ ⥪ LR--
 ࠢ S.   ,  ᤢ  ᢥ ( ᫨
,    ࠢ). ᭮ । LR(0)-ࠬ-
⨪  襬 ﭨ S   ⮫쪮 ᤢ,  ⮫쪮
ᢥ⪠ (祬    ࠢ).    ࠧ,  
  த  LR-  ந室 ନ஢
(  蠣  ।,  ⢨ ⮫쪮    -
).

     14.2.5.    ந, ᫨ 㥬 ᫮  
뢮   ࠬ⨪?

     ⢥.   ஬ 蠣  㤥     ᤢ,
  ᢥ⪠,     ᤢ 㤥  室騩
। ᨬ.

     砭. 1.  ॠ樨 ⮣ ⬠   室-
  ࠧ   ⢮ (S)  ⥪饣
祭  S.  ⢠  ⠪ ࠭  ⥪ ( 
 ࠭ ⢠ (T)   砫 ⥪饣  ᫮
S).
     2.  ᠬ  ᠬ ᫮ S   ࠭ - 筮
࠭ ⢠ 権 (T)    砫 T.

       ⬥ ஢ન 뢮  LR(0)-ࠬ⨪  -
㥬   ଠ,   .   ⮬  ⬥
    ﭨ  ⭮  ࠭,      
⮫쪮 ᤢ  ⮫쪮 ᢥ⪠ (祬  ᫥  砥  -
⭮,      ࠢ).   ७   
ਭ 襭  롮  ᤢ   ᢥ⪮,  ᬮॢ
  ।  ᨬ (Next).   ﭨ,  ᪠,
  祭 Next  ᤢ (  ନ, -
   ⮣ ﭨ  ।⢥    -
ન).  ᯮ짮 ଠ樥  ᨬ Next
  襭    ⮬,   ᢥ⪠.  ⮣ 
饭 ⮤ (ࠬ⨪,      ਬ,  뢠
SLR(1)-ࠬ⨪ [᮪饭  Simple LR(1)])   ⮤
(  ᫮,  ᯮ騩   ଠ; ࠬ-
⨪,      ਬ,  뢠  LR(1)-ࠬ⨪).
  ஬  ࠬ⨪, 뢠 LALR(1).

     14.3. SLR(1)-ࠬ⨪

     ,      ନ K  ।﫨 -
⢮ ᫥(K)  ନ,        -
।⢥  K  뢮 ( 砫쭮 ନ) ᫮; 
  ⢮   ⠪ ᯥ樠 ᨬ EOI, ᫨ -
ନ K     뢮 ᫮.

     14.3.1. ,  ᫨    LR- -
 ᨬ ⥪ S ࠢ  K,  祬        
쭥襬 ᯥ譮 ,  Next ਭ ᫥(K).

     襭.  䠪  ।⢥ ᫥⢨ -
।   (ᯮ  ᮮ⢥⢨    ࠢ묨  뢮  
LR-ᠬ).

     ।. ᬮਬ  ࠬ⨪,  ந쭮
᫮  S    ନ   ନ  ନ x. ᫨ -
⢮ (S) ᮤন ,  ன ࠢ   ન-
  ⮨ ନ x,  ,    (S,x) 
ᤢ. ᫨  (S)   K->U_, 祬 x  ਭ
᫥(K),    ,        (S,x)  SLR(1)-
ᢥ⪠ ( ࠢ K->U). ,    (S,x) 
䫨 ⨯ ᤢ/ᢥ⪠, ᫨   ᤢ,    ᢥ⪠.
,            (S,x)      䫨  ⨯
ᢥ⪠/ᢥ⪠, ᫨  ᪮쪮 ࠢ,   
ᢥ⪠.
     ࠬ⨪ 뢠 SLR(1)-ࠬ⨪, ᫨      
䫨⮢ ⨯ ᤢ/ᢥ⪠  ᢥ⪠/ᢥ⪠    -
 (S,x).

     14.3.2.   SLR(1)-ࠬ⨪. ,   -
  ᫮       ࠢ 뢮. ந
 ஢ન 뢮  SLR(1)-ࠬ⨪.

     襭. 筮  LR(0)-ࠬ⨪, ⮫쪮   -
  ᤢ  ᢥ⪮ 뢠 । ᨬ Next.

     14.3.3.  ஢,   ਢ  ࠬ⨪
( E, T  F) SLR(1)-ࠬ⨪.

     襭. , , ⠪   䫨,  騥  
 LR(0)-ࠬ⨪, ࠧ  ⮬ । ᨬ:
   ᫮ T,   ᫮ E+T ᤢ  ⮫쪮  Nxt =
*,    ᨬ  *  ਭ ᫥(E) = {EOI,+,)},  ⮬
 Next = * ᢥ⪠ .

     14.4. LR(1)-ࠬ⨪, LALR(1)-ࠬ⨪

     ᠭ  SLR(1)-室 ᯮ      
ଠ    ᭥ ⮣,   ᢥ⪠. , 
⤥쭮 ஢,    ᢥ⪠      ﭨ
⥪  S  ⤥쭮 -   ᢥ⪠   ࠢ 
 ᨬ Next.  ⥬  ஢ન    -
ᨬ묨:        ⥫  ⢥,  ⥬  
ᢥ⪠  ⥪ S    ।  ᨬ  Next  .  
LR(1)-室  ⮪ ࠭.

     LR(1)-室 ⮨   祬:   ।   -
ত    ⠪, ⮡ ,  ᨬ ⮨
ࠢ  ࠧ稢 ନ (㣨 ᫮, 祬 -
 Next  ᢥ⪥).

      K->U -   ࠢ ࠬ⨪,    t  -  
ନ    ᯥᨬ  EOI  (   ᫨  
室 ᫮). । ⢮  (K->U,t)    -
⢮    ᫮,      ᮤন  ⥪ -
।⢥ । ᢥ⪮ U  K   室  ᯥ譮  LR-,
 ᫮ Next = t (  ᢥ⪨).

     ᫨    ᫮  (K->U)   U,  
  ⢮  ᫮,     ࠢ
뢮 । ନ K,    ⮨  ᨬ  t.  
⢮ ( 饥  ⮣,   ࠢ  ନ
K ࠭)  㤥  (K,t).

     14.4.1.    ࠬ⨪      ஦   
(K,t).

     襭.  ନ  ᨬ <Kt>  
ନ K    ନ t (  t=EOI).  ࠢ-
  ⠪.  P - 砫 ନ 宫 ஠⨪.
   ࠬ⨪ 㤥 ࠢ
     <P EOI> ->      (⮥ ᫮)
  ࠢ 室 ࠬ⨪, ਬ,  ࠢ
     K-> L u M N (L, M, N - ନ, u - ନ)
  ࠬ⨪   ࠢ
     <L u> -> <K x>  (  ନ x)
     <M s> -> <K y> L u
(  s,   稭 ᫮, 뢮  N,  
 y,  ⠪   s = y, ᫨  N 뢮 ⮥ ᫮)
     <N s> -> <K s> L u M (  ⥬ s).

     14.4.2.   । 樨?

     襭. 樥 뢠 
         [  ஬ ᫥, ନ  EOI]

     14.4.3.   । ᮣᮢ?

     襭. C S  ନ  ନ ᮣᮢo 
樥  [K->U_V, t] ( t - ନ  EOI), ᫨ S -
砥   U,      S=TU,  ,  ஬  ⮣,  T  ਭ
(K,t).

     14.4.4.  ࠢ    ⨢  ᫥  -
⢠ (S) 権, ᮣᮢ   ᫮ S?

     ⢥.  (1)  ᫨  ᫮  S  뫮  ᮣᮢ   樥
[K->U_V, t], 祬 ᫮ V 稭  㪢 J,   V=JW,
 ⥯ ᫮ SJ 㤥 ᮣᮢ  樥 [K->UJ_W,t].
      ࠢ  ।   樨    ⮩
   (   稭騥  ન), ᮣ-
ᮢ  SJ. ⠫ ।,   ନ K 
ନ t ᫮ SJ ਭ (K,t).    
ࠢ:
     (2) ᫨ 㦥 ᭥,   [L->U_V,t]  ᮣᮢ
  SJ  (  ࠢ  (1)),  V 稭  ନ ,  SJ
ਭ (K,s)   ନ s,    -
 ᫮, 뢮  ᫮ V\K (᫮ V  ࢮ 㪢 K),
 ⠪  s=t, ᫨  V\K 뢮 ⮥ ᫮.
    (3) ᫨ 㦥 ᭥,  SJ 室  (L,t)   -
 L  t, 祬 L->V - ࠢ ࠬ⨪   V  稭  
ନ K,  SJ ਭ (K,s)   ନ  s,
  稭 ᫮, 뢮  V\K,  ⠪  s=t,
᫨  V\K 뢮 ⮥ ᫮.

     14.4.5.      ।   䫨⮢  ᤢ/ᢥ⪠  
ᢥ⪠/ᢥ⪠    묨 ..

     襭.     ࠬ⨪.  S - ந-
쭮 ᫮    ନ    ନ.  ᫨  ⢮
(S)  ᮤন  ,    ன ࠢ  ન
⮨ ନ t ,   ,        (S,t)  
ᤢ. ( ।    ࠢ  SLR(1)--
砥 -     (S)  뢠.)
     ᫨  (S)  ,  ன ࠢ  ન-
 祣 ,   童   ନ  t,  
,        (S,t) LR(1)- ᢥ⪠ ( ᮮ-
饬 ࠢ). ,       (S,t)  
䫨  ⨯  ᤢ/ᢥ⪠, ᫨   ᤢ,  ᢥ⪠.
,           (S,t)      䫨   ⨯
ᢥ⪠/ᢥ⪠, ᫨  ᪮쪮 ࠢ,   
ᢥ⪠.
     ࠬ⨪  뢠  LR(1)-ࠬ⨪,  ᫨    
䫨⮢ ⨯ ᤢ/ᢥ⪠  ᢥ⪠/ᢥ⪠      
 (S,t).

     14.4.6.  ந    ஢ન  뢮 ᫮ 
LR(1)-ࠬ⨪.

     襭.   ࠭,   蠣 LR-  -
筮 ।,  蠣 ⮫쪮    ᫥騬.

      ( ⭮,  LALR(1)-ࠧ, ᬮ ) -
,    易  LR(0)  LR(1)-ᮣᮢ.

     14.4.7. 㫨஢   ᮮ⢥饥 ⢥ত-
.

     ⢥.  䨪஢  ࠬ⨪.   S  
ନ    ନ  LR(0)-ᮣᮢ  -
樥 K->U_V ⮣  ⮫쪮 ⮣,   LR(1)-ᮣᮢ 
ன [K->U_V,t]  ண ନ t (  t=EOI).  
  ᠬ  㣨  ᫮: (K)  ꥤ (K,t) 
ᥬ t.  ᫥ ଥ  ᮢᥬ ᭮.

     砭.  ࠧ, 㭪  (S)    LR(1)-᫥
  ७  㭪樨  (S)  LR(0)-᫥: 1(S)
砥  0(S), ᫨      童-
.

        ।  LALR(1)-ࠬ⨪.  
䨪஢    ࠬ⨪,  S - ᫮  ନ 
ନ, t -  ନ (  EOI).  㤥  ,
   (S,t) LALR(1)- ᢥ⪠  ஬ ࠢ-
, ᫨  㣮 ᫮ S1  0(S)=0(S1), 祬
   (S1,t) LR(1)- ᢥ⪠  ᬠਢ -
.  ।  䫨  (⢥  ࠧ),  
ࠬ⨪ 뢠 LALR(1)-ࠬ⨪, ᫨ 䫨⮢ .

    14.4.8.  ,    猪  SLR(1)-ࠬ⨪  
LALR(1)-ࠬ⨪,     猪   LALR(1)-ࠬ⨪   
LR(1)-ࠬ⨪.
    .  - ⮥ ᫥⢨ ।.

    14.4.9.    ந      ஢ન   뢮   
LALR(1)-ࠬ⨪,  ࠭   ⥪    ଠ樨,
祬 ᮮ⢥騩 LR(1)-.
    .  筮  ࠭    ⥪ ⢠ 0(S),
᪮ ᮣ᭮ । LALR(1)-  ᢥ⪨  
।.  (    ᠬ    祬   ⫨砥 
SLR(1)-, ஬ ⠡  ᢥ⮪.)

    14.4.10.  ਢ  ਬ LALR(1)-ࠬ⨪,  饩
SLR(1)-ࠬ⨪.

    14.4.11. ਢ  ਬ  LR(1)-ࠬ⨪,    饩
LALR(1)-ࠬ⨪.

    14.5. 騥 砭  ࠧ ⮤ ࠧ.

    ਬ  ⮤  ࠪ⨪   ᢮    
⮭,        ᠫ. (ਬ, ⠡ ᫥
࠭   .)  뢠  ⠪,  
  ண  室 몠  ⢥ ࠬ⨪
  LL(1)-ࠬ⨪,   LR(1)-ࠬ⨪,  
⠪     LL(1)-ࠬ⨪   -
.        ਠ⮢  ,   ᥣ ᭮. -
⠭᪨ ᮢ: ᫨  ᠬ ஥ 室  ,    
᫥  믥ਢ    㯮ॡ     ᨬ 
ࠧ 楫 -  ⮣ 筮 ᫮  LL(1)-ࠬ⨪
 ४ᨢ . ᫨  室   ࠭ 
  LR(1)-ࠬ⨪,    饩 LL(1)-ࠬ⨪, 
   ண,  ࠧ  .  ⮬    -
    ।⢠ ⮬᪮ ஦ -
஢,  묨    yacc (UNIX)  bison
(GNU).

     讥  ⢮     ଠ樨
 ⥮ਨ  ࠪ⨪ ᨭ⠪᪮  ࠧ      :
Alfred  V.  Aho,  Ravi  Sethi,  Jeffrey  D.  Ullman.  Compilers:
principles, techniques and tools. Addison Wesley (1985).
