⨪ ..                                    11_03_91 

                     .
              
     筥  ᬮ७ ⥩襣 ਠ ࠢ, 
஬   । 㭪樨 (६), .. 
யணࠬ 室 ⮫쪮 ᫮.  ⠪ 砥 
 ⮭ ᨭ஭ ⮬⮬.
       饬 砥 㭪  室      
। ६,     ⮬⮬ .
     ᫮   ࠭祭,    -
 奬  砫  ⠯  ஥஢  (  
 ᫥⢨  ⪠):
 -   蠣  ᫥  ⢫    -
⢫ ⮫쪮   㧭筮  ।⭮  ६-
  (.. ࠧ⢫     ࠢ);
 - 砫 祭  ॣ஢      㫥묨.
।  奬   㤥 뢠 楯  ⠭  -
砫 祭.
      ॠ樨  ᠬ 饬 砥 யணࠬ ந-
쭮  㤥 ந  ⠪, ⮡ ᭮  -
ਠ ⥫ ࠢ饩 (⮬⭮)    -
யணࠬ 﫠   ࠢ    (ॠ,
ਬ,   ).  ⮬ 砥  ᫮ ࠢ-
饩  -  -  ⮨      ⠢
⥩: ப  ᭮ .
     ᭠  ந樨 ᮤন ଠ, -
  ᫥饬 ⠪ ࠡ  ( 㪠  )  
 ࠢ饩 .   ⮣  -
 ᭮ ।⮬ 쭥襣 ᬮ७   ।-
,  ᭮, , ꥬ      த-
⢨ .  ⮬  ᬮ७ ॠ ᫥
⨯  室      蠣  ⬠,  ⠪,  ᮮ-
⢥,   நﬨ:
 - ᫮ 室,
 - ᫮ 室,
 - 㭪樮 室,
 - 室  யணࠬ  ⮬.
     㤥   ࠡ  ࠢ  ⮬⮢  ࠧ筮
, 騥 ᭮ ਬ塞 ਠ  -
樨 ந権,  ᫥饬 ⬥:

      
  Ŀ
    VVĿ
n1  m1                       n1 { m1 }
    
    VĿ                      n2 { m2 }
n2  m2 
                          g1 <<GO(a;g1,n3)>>
      <Ŀ
     V 0                    n3 { m3 }
g1  < a >
                            n4 { m4 }
     1<Ŀ
      Ŀ                  g2 <<GO((a,b);n5,n3,n1,n1)>>
    VV  
n3  m3                     n5 { m5 }
      
    VĿ                    g3 <<GO(a;n5,n3)>>
n4  m4   
      
  10 V 01
g2< ab>ٳ
   11     
     00Ŀ
     VV  
n5   m5   
       
      V 0 
g3   < a >ٳ
       1  
       
        ᮡ ⮣ ⬠:  -
 室  (।⭠ 設),  祭  ⪮  g1,
뢠 騬. , 祭  ⪮  g2, ᯮ
 室 4- ।,    㤮e⢮  -
㪠  ࠭祭.  ⮬  ॡ  
८ࠧ ⬠  ⮣, ⮡ 㤮⢮  ⮬
࠭祭.
      , ᫨    ८ࠧ ଠ-
  ࠧ.  ࠭ ਥ -
⭮ ८ࠧ ⬮  யணࠬ  -
 祭 ஡ , ᮮ⢥⢥, ⠪⮢,  -
  믮  䨪   -  "  樨".
   ८ࠧ     - .-
  ।  "஡"; ஬ ⮣,  ᫥
 ࠧ筮   ६ ।  ६
⨯ ""  "" - . ࠧ "⢨   ".
     (  䨪    ,    ᫮
ᨭ஭ ,   ⮣     ப-
, । 塞 ⠪.)

                       
     筥 ᬮ७  ࠢ饣  ⮬,  
ண ᮢ  ᪮ ன ⮬ .
            Ŀ   Ŀ    ¿   Ŀ
            MUX q ROM    RG   ROM
         a>0  >    S'    S      Y
         b>1        >  >   >
                >              Ŀ
                 2    C     1  
            A    /   
              H  ͼ       
             

     㭪 室  㭪 室 ॠ㥬    .
 , ᬠਢ饩 யணࠬ ன⢠ -
ࠢ,   ⠪ ன 뢠 யணࠬ -
⮬⮬ .
       (ROM_1), ॠ饬 㭪 室, ᫥  ࠧ-
 ப;  ⮬  ।  ।-
 ᠬ ᮢ襭 ந쭮,  ᪫祭  砫쭮
ப,   ᨫ 㪠 ࠭祭  -
 ᯮ  㫥 .
      (ROM_2),  ॠ饥  㭪  室  ⮬,
 ࠪ⮢  ᭮ . 祥  ᭮   
ࠧ , 祬   ப.  祩   -
 ᮮ⢥  祩  ᭮ ,   -
뢠  ୠ⨢ .

n1 { m1 }                               S Y H       S qS'
                                        Ĵ       Ĵ
n2 { m2 }                               0m1 x       0 0 1
                                                    0 1 1
   <<GO(a;d1,n3)>>                                       
                                        1m2 0       1 0 2
d1 { m0 }                                           1 1 3
                                                         
   <<GO(a;d1,n3)>>                      2m0 0       2 0 2
                                                    2 1 3
n3 { m3 }                                                
                                        3m3 x       3 0 4
n4 { m4 }                                           3 1 4
                                                         
   <<GO(a;d2,n1)>>                      4m4 0       4 0 5
                                                    4 1 0
d2 { m0 }                                                
                                        5m0 1       5 0 6
   <<GO(b;n5,n3)>>                                  5 1 4
                                                         
n5 { m5 }                               6m6 0       6 0 6
                                                    6 1 4
   <<GO(a;n5,n3)>>                             

      ਠ 奬  ⠪  ᯮᮡ  樨
 ணࠬ஢  ⮬ 砭, ᤥ  ࠧ-
 "⢨   ".  ஬  ⮣,  ࠭祭  
ᯮ ப  ROM_1 룫 ᪮쪮 : 
0-  ROM_1  ᯮ ப, ᫥  -
ன ᫮ 믮 砫쭠 ப.

         Ŀ        q  Ŀ   Ŀ   ¿
         MUX>ROM   ROMY  RG  Y'
      a>0    C            S    >  >
      b>1   /¿     >   H    
             >RG>        >  ÿ
               S' 2    1   C  
         A       /ٳ
          H'  ͼ               
          

             

              ͻ
              ͻ
               Ŀ    ¿  ĿA0
               MUX    RG  ROMͼ
              >0        A    A1 
         Ŀ>1  >  >   ͼ
         MUX                 >Y
      a>0          C       ÿ
      b>1     A  /  ٳH
                               
         A                         
          

      ਠ

             ͻ
             ͻ
              Ŀ  ĿA0 ¿A0'
              MUX  ROM >RGͼ
                       A1   A1' 
             >0  A     >  ͼ
        Ŀ>1  >     Y     Y'
        MUX            >  >
                        H   
     a>0             >  ÿH'
     b>1     A   /ٳ
                       C      
        A                         
         

      奬 ⫨砥  ।饩 ⥬, ,    -
,   ᯮᮡ 樨 믮  ᯮ짮 ⮫쪮
 .  ⮬ ਠ ୠ⨢  뢠-
  ⮩  ந樨,   ப.

n1 { m1 }                               A Y H A0 A1
                                        Ĵ
n2 { m2 }                               0m1 x  1  1
                                                   
   <<GO(a;d1,n3)>>                      1m2 0  2  3
                                                   
d1 { m0 }                               2m0 0  2  3
                                                   
   <<GO(a;d1,n3)>>                      3m3 x  4  4
                                                   
n3 { m3 }                               4m4 0  5  0
                                                   
n4 { m4 }                               5m0 1  6  4
                                                   
   <<GO(a;d2,n1)>>                      6m5 0  6  4
                                        
d2 { m0 }

   <<GO(b;n5,n3)>>

n5 { m5 }

   <<GO(a;n5,n3)>>

                  

  ᫥⥫ ਠ           ਠ

 Ŀ      Ŀ
  Ŀ     ¿  Ŀe      Ŀ   Ŀ e   ¿
  MUX  q  RGq'ROM       MUX q'ROM>RG
 >0  >  >     Y    >0  >    Y     Y'
a>1    S    S'   >   a>1   S'   >  >
b>2   >  >   ͻ   b>2   >    H     
        C       ƻ               >  ͻ
   A  /  ٺ                S      
     H  ͼ              >  ƻ
    ͼ      A     /ٺ
                                     H'           C      
                                        ͼ
                                    ͼ

      ⮬ ᯮᮡ 樨 ୠ⨢  ⫨-
 ⮫쪮  ࠧ冷 (   ਠ -  訬  ),
ନ㥬 室 ᨣ. ⠫ ࠧ  㪠-
   ப    ⮩   ந-
樨.  ᫮ 室   ਠ 奬 訩
ࠧ ⠪ 㪠뢠    ந樨.    樨
  ⮣  ஡ ࠧ묨 ࠬ  ᫮
室    .   ⮬  砥
    ந 室 ᯮ  ࠧ-
 祩 ࠢ饩 . ᫨ ࠧ   -
 室    ⥬    ।묨  祭ﬨ
㪠뢠      ஡,    䫨  -
樨.
                     

n1 { m1 }         --(0,0),(2,1)                S'q' Y H S e
                                               Ĵ
n2 { m2 }         --(4,0)                      0 0 m1 0 4 0
                                                           
   <<GO(a;d1,n3)>>--   1,x                     0 1 m4 1 2 x
                                                           
d1 { m0 }         --(1,0)                      1 0 m0 1 1 x
                                                           
   <<GO(a;d1,n3)>>--   1,x                     1 1 m3 0 0 1
                                                           
n3 { m3 }         --(1,1),(3,1)                2 0 m0 2 3 x
                                                           
n4 { m4 }         --(0,1)                      2 1 m1 0 4 0
                                                           
   <<GO(a;d2,n1)>>--   2,x                     3 0 m5 1 3 x
                                                           
d2 { m0 }         --(2,0)                      3 1 m3 0 0 1
                                                           
   <<GO(b;n5,n3)>>--   3,x                     4 0 m2 1 1 x
                                                           
n5 { m5 }         --(3,0)                      

   <<GO(a;n5,n3)>>--   3,x

     । ந樨   祩    㤮
 ᫥饬 浪:
 - 易  ࠧ묨 ࠬ ᫮ 室,  -
䫨騬  ᮡ  樨, ࠧ騥  -
 訥 ࠧ ;

 - । ஡  祩   ⮬ -
  ࠧ冷   室 祭;
 - ⠢訬 । ஡    ந-
 ᢮ .
                    
     ᯮ짮 ⮩ 奬    ࠭  -
 ᫥⥫쭮 ਠ ⢨  ᮪
  楯, 騥    ,   楯 -
୮ ਠ.

Ŀ           
      ͻ    ROM_0  A' Y  H  A e
       Ŀ                              
       ROM A                           0 m1  0  4 0
           e                           1 m0  1  1 x
      >    Y  Ŀ   ¿           2 m0  2  3 x
           H  MUX   RGƼ           3 m5  1  3 x
        0   >0       e'         4 m2  1  1 x
    A' Ĵ                          
       ROM A     >  >Y'        
 Ŀ      >1             ROM_1  A' Y  H  A e
 MUX>    e      C  ƻH'          
>0        Y  A /ٺ            0 m4  1  2 x
a>1     1  H                           1 m3  0  0 1
b>2                                  2 m1  0  4 0
                            3 m3  0  0 1
  A                                       
   ͼ

     ᮡ 樨,  , ⠪ ,     ।-
饩 奬. 쪮  ᬠਢ  奬  室  ᨣ
ࠢ 롮஬      (  -
஢  ᨣ  訩 ࠧ ).
                   

             Ŀ  Ŀ    0W- +1
             MUX>M2Ŀ 1W- 㧪
          0>0  >   V¿  Ŀ Y
          a>1     WCT  ROM>
          b>2                 H
                          A    ͻ
                   >  >   e   
             Aٳ              Ŀ 
                       C       ͻ 
                      /  S 
                     ͼ 
                  
              ͼ

      ⮩ 奬  ࠧ⢫   ᫥  
ୠ⨢ ᮢ 砥 ᫥騬 ࠧ:  -
 ᥣ   , 祬 ⥪騩 (  ..  
"ॣ" ࠧ ), ன  - ந   ᮤ-
   ப  ந樨.
     ⮬, "騬" ,  笪, ࠢ-
塞 ᨣ, 騬 室    .    ࠧ

祭 室 ᨣ 稪 믮  㭪樨: -
 ਡ   祭, ஥ ࠭  -
  﫮 ⥪騬 ᮬ,  㦠 祭 -
  ࠢ饩 .
       奬    2,  騩  ஢
祭 室 ᨣ,  砥 । -
権  祩 ࠢ饩 .
                     

n1 { m1 }         -- 0                        A  Y  H  e  S
                                              Ĵ
n2 { m2 }         -- 1                        0 m1  x  x  1
                                                           
   <<GO(a;d1,n3)>>                            1 m2  1  0  3
                                                           
d1 { m0 }         -- 2                        2 m0  1  1  2
                                                           
   <<GO(a;d1,n3)>>                            3 m3  x  x  4
                                                           
n3 { m3 }         -- 3                        4 m4  1  0  0
                                                           
n4 { m4 }         -- 4                        5 m0  2  0  3
                                                           
   <<GO(a;d2,n1)>>                            6 m5  1  1  6
                                                           
d2 { m0 }         -- 5                        7 m0  0  1  3
                                              
   <<GO(b;n5,n3)>>

n5 { m5 }         -- 6

   <<GO(a;n5,n3)>>

      奬  ୮ ਠ  ⢨  ॣ-
୮   室 ࣠뢠 ⠪,  ⮡
 㢥稢 ᫮  .

        ͻ
        ͻ       
                 ¿ Ŀ ĿS
          Ŀ  RG MUX ROMͼ
        >INC>  >0      Y  ¿Y'
            C          >RG>
                /    >        
                /¿    A    H    H'
                 CRG         >  ͻ
        >  >1       e    e'
                             >  ÿ 
            Ŀ   A   /ٳ 
            MUX  Ŀ                C       
         0>0  >M2                    
         a>1  >                           
         b>2                            
                                            
            A 
             ͼ

                  
             

ͻ    C
ͻ          /¿H'
       ¿ Ŀ Ŀ  >RGͻ
 Ŀ RG MUX ROM   >  Ŀ
>INC>  >0      SHe  
  C              ¿Y   RG"Y"
      /    >   >RG>
      /¿    A        w c     0w-㧪
       CRG            A/ 
>  >1       k     ¿k'  1w- 㧪
                   >Tÿ 
  Ŀ   A       /ٳ   k    Ŀ
  MUX  Ŀ  Ŀ              C         Ĵ 1  CC
0>0  >M2>&                        Ĵ   
a>1  >  >                          SYN  
b>2   ٳ                        
    e'       CC -
  Aٺ ᨭ஭ 
   ͼ
      奬 ᯮ  ⮫쪮    ୮  ਠ
⢨. ⮤ ᫥   ᫥饣  ⠪
⠪ ,    奬  ॣ୮ 樥. (㣮 -
 -"⢥" - 㯮ॡ ⮫쪮 ࠤ ࠧ祭 ᠬ
奬.)   ⮩ 奬,  ࠢ    㦥  ᬮ७묨,
ࠧ ࠢ饩     ⥬  ஬ (ࠧ來
१)  ࠧ  ந      ᯮ짮
ࠧ ࠧ. 㤥 ࠧ ந樨    -
:
 - 樮,
 - 樨 (롮).
       ਠ 奬 ⨯ ந樨  ⠭-
 ࠧ冷    "k".    k=0  믮  -
 樮 ⨯.  ⠫  ࠧ  祩
㦠  ॣ  ப    ࠢ 믮
ம権  . 騩  ᥣ   .
       k=1  믮  ந  樨.   
ࠧ ந樨   ᯮ짮   ᫥-
 ᫥饣 .   ਠ 奬, ⠪    
 奬  ॣ୮ 樥,   ᮢ  -
  ந, 㣮 ୠ⨢   -
  ⥪饣.
                                          A k   Y    
n1 { m1 }         -- 0                             H e S
                                               Ĵ
n2 { m2 }         -- 1                         0 0  m1    
                                               1 0  m2    
g1 <<GO(a;g1,n3)>>-- 2                         Ĵ
                                               2 1 1 1 2
n3 { m3 }         -- 3                         Ĵ
                                               3 0  m3    
n4 { m4 }         -- 4                         4 0  m4    
                                               Ĵ
g2 <<GO(a;g3,n1)>>-- 5                         5 1 1 0 0
                                               6 1 2 0 3
g3 <<GO(b;n5,n3)>>-- 6                         Ĵ
                                               7 0  m5    
n5 { m5 }         -- 7                         Ĵ
                                               8 1 1 1 7
g4 <<GO(a;n5,n3)>>-- 8                         9 1 0 1 3

       ⮩ 奬 筮 ᯮ  ᫮  ᨭ-
஭,   㤫 ⠪ 믮 -
    ६ 믮 ந権 樨.

SYN Ŀ Ŀ Ŀ Ŀ 
                                          
    |            |            |            |            |
k   0    0    0 
   1    1 
    |            |            |            |            |
CC Ŀ Ŀ 
                                                
    |            |            |            |            |
Y


                    .
              
     㭪樮 室
      室 믮 ᪮쪨  ᫨⥫
㭪権, ࠢ 묨 ।⠢    -
 யணࠬ, 室 ࣠ ᨬ  맮
 யணࠬ.
     砫  யணࠬ, ࠢ ᫥ﬨ
ࠧ 㭪権, 筮   ࠢ饩  .
  筮 ।ᬮ 堭  樨,  -
騩 ᤥ 砫  ⥪騬.   ⢨ 
  ᬮ७ 奬. ( 堭 樨 ⭮-
, ஬ , ᯥ樠 ࠧ ࠢ饩  
 ᯥ樠 ந樨.)

          ͻ   C
   ͺͻ         / ¿H'
                  Ŀ Ŀ  >RGͻ
                  MUX ROM   >  Ŀ
F ͺͺ>0           
          ¿                    
          RG                    
         >  >1      SHe        
          C               ¿Y  RG"Y"
         /     >   >RG>
           ¿     A               0w-㧪
    Ŀ  RG              w c   
   >INC>  >2          A/  1w- .
      C                        
          /ٺ                      
       ͼ                      
        ¿             k        
       >STACK>3       K   ¿K' 
         A          >RGƻ  
                                   
                   A     /ٺ  
  Ŀ                           C        
  MUX  Ŀ п                     
0>0  >M2>  CS    <ͼ  
a>1  >                                 
b>2                             k Ŀ
    e'                                       Ĵ 1 CC
  Aٺ   Ĵ   
   ͼ SYN 

     室  யணࠬ  ⮬
      ॠ樨 筮 ᫮ ᫥ 㤮 -
짮 堭 யணࠬ.
         யணࠬ      맢  
ࠧ 祪 뢠  யணࠬ.  ⮬    맮
யணࠬ 室  ,    ⥬,  ⮡
⠭   饭  யணࠬ.  ⮡
  ⠭       맮-
, ᯮ ᭠  - ⥪ (stack).
     ਭ樯 (樯) ࠡ ⥪ 뢠 ᫮
"᫥ 襫 -  襫" (Last In - First Out, LIFO).
⮡   ਭ樯 㤥 ,  ᫮, ࠭-
  ⥪, ७㬥஢    ࠫ  -
ᥫ 1,2,...,N.   訬 ஬  뢠  設
⥪.
     ⥪  믮 ᫥騥 ⢨:
 -"⥭" ᫮  訬 ஬,
 -"⠫" (࠭)   ᫮  訬  -
   ஬,
 -""  ᫮  ᢠ  襣 -
   .
      맮 யணࠬ 믮  "-
"    ⥪.  饭   யண-
ࠬ 믮  "⥭"  , ⥬  -
"⠫"    ⥪.
      "⥭"  "⠫" 믮  -
짮 ⥪  ࣠樨 横.
        "" । ⨯  믮塞  -
樨.  裡  ⥬,  ⥯   奬    4
筨   ࠢ饩 ,  4 ⨯  -
᫮ 室, ஬ ⮣,  ࠧ  ᫮
室  ࠧ ⠭ 騥    筨
  室 ६.
      樮 奬 CS ࠧ ந樨
"" ८ࠧ  ᨣ ࠢ ⥪  ⨯-
஬.
                   
      ୮ ਠ   室  ।-
 ६,   ᤢ  ᨣ  ࠢ,
室    ⠪  ⮣, ⮡  "㢨"
祭 ६,  ன 믮 ⢫,  -
 㦭 .
      ந ࠢ騩 ⮬,  ஬  ᪮-
७ 믮 ணࠬ  믮  ᫥騥  ⢨:
।⥫쭮 롨ࠥ       ୠ⨢
, ᮮ⢥  ⭮ 祭  ६
⢫.  祭  ࠭  ⮩ , ᫥ -
ன 믮 ⢫.   ⠪  ࠡ⠭  -
쭮 祭 ६ ࠢ  ।᪠, ᫨
 ᮢ,  ࠭    뢠   室-
 ॣ, ᫨ ,  ।騩 ⠪ த,  ..
 ᨭ஭   RG'. யணࠬ  㤥  ⠪
    ᫥⥫쭮 ਠ ⢨    
,      ࠧ鸞:
 F = { 1, ᫨ ᯮ ।饭; 0, ᫨  },
 P -  ⭮ 祭 ६ ⢫.
     ࠣ 奬 , ᯥ稢騩  ।饭  
 ⠪:

    Ŀ            W
           ¿  VĿ q  AĿ  f
      t    RG >MUX> SS <Ŀ
    >  >   >    <Ŀ
                    t        p                   
        \     ٳ \                      
                            j                         
        VĿ   Ŀ P  ¿p
                               MUX    ROM >RGٳ
                                           F    f 
                                            >  
                                                  
                                            >  >
                                                  
      C                                 \A
       W
      c=1   ⠪.
     奬 SS  ⮬,   室    
  ﭨ s0  s1,
᫨  s0, 0f,              w=1, j=q
᫨  s0, 1f, 0c,          w=0, j=p
᫨  s0, 1f, 1c, p==t,    w=1, j=p
᫨  s0, 1f, 1c, p=/=t,   w=0, j=x, 室   s1
᫨  s1,                  w=1, j=q, 室   s0
