    10.   .      
   

             
 (. 1).   ,      
 .   -  () 
         . 
    ,       , 
  . 
    .   , . .    
.       .  
    (    ) 
 .   LA    
    \ 
       ~*      . , 
,  = {0, 1}     - 0  1.    
   -.   ;   ;   
,   1;  ,    1,  . . < 

    10.    151 

    ,        , 
,       .  
  , ,     . 
, ,  LA      
,   26   ,      
 : 
    A = {a,b,c,d,   ... z, (,), + ,-,*,/}. 
       ,      
  , , , d, . . . , z    
 ,  ,  
     
    b   *  
    ((a + b)(c + d)-a)/(e + f) 
      , . ,   LA,   
    ))) + ** 
     + b 
    *  
       , . .  LA  . , 
        -  ,  
      ,   
    -.      
   
         (. .   ,   ) 
     -- ) 
       .        
 ,  ,         
  ,   .    
         
. .     ,   ~ , , . 
-  ,     ( = 0).  
   .     
(. .  - )   ,-*   (), 

    152	. 2.        

         - ,       
         ( )      
,  . 
    .   -,    -   
 , ={,}.  -~  ,   : 
     ->  
    -> -> 
    Y+ + 
    ?->    if -> * 
          .  
,   v 
     
     
    ! I 
      -,      ftYet '  
       (.. 
  ),     , 
    . ,  ( + )   
 (     , . .  ,  
    ): 

    .   10.1.       ( + )       z 

     ,     z, : 

    10.    153 

            
           (. 10.1). 
    ,    .  ,    
 ,          
  .       ,    
        .   
       ( 
),    . 
    .      (. .   ), 
    ,  ,   
,  ,     . 
            .  , 
,  ()   . ,  
      ,    , 
    .         
,         . 
Ilo'jroMy       , IUMTIJC   
,  <>, < -), < ).   
   
    <)->-  <)--< ) 
<)->-<)< )() 
     , . 
     ,  .          
,     ?:- (  )  
   -'(1 ( ): 
    (): := ({}) ]( )! 
    () ( ) () ( ): : = a|b|c|d| ... |z 
( ):: = +1  | * |/ 
    (*) 
             
    .        
         
   . 
        .               
,  ,           . 

    154 . 2.       

    ,  
    (): : = ()]() + () | ()  () (): : = 
() | () * ()	/    , 
    | ()/() 
    (): : = (()) | ( ) ( ):: =  | b 
1  |d | ... |z 
       ,    (*)   ( !)'. 
         (    )   
   . ,      
,      (*).  ,  , 
       ,   
 (**),     . 
    .  ( )    
(  )    ()    
    (). ,      
       (. 10.2), ( 

    .  .  <>   . <;>   , 
    .  .  
    + 
    |  

    .   102 

           ,  
         
    z.) 
       ( ),   
        . 
        .   
 ,       (**), 
        : 
        
    . ; 
    ,      1.   *-   
    ,            


    V	10.                              155 


      
    .             
    .  : 
    .        4 : 
    .	() ::= ()! () + () ! ()  () 
    .	() ::= () ! () * ()! ()/() 
    .	() ::= (()) I( ) 
    .	( ) ::= a!b!cl ...lylz 
         . .    , 
      .      
          .    ,     
  -.       . 
    .    : 
    :       
       
    .           :    :      
    .	|      . : |  
 , . .  .                    [ 
   * ,                    | 
    .    .    .     (". 
") .      
    :.   .     (". ") 
.    (". ")   
           
,     ,      
 . ,    
     (".  ") 
      .  

    156 . 2.        

          ,   
   .         
,     ,     ,  
  . ,       
 "",     
     (". (",,")  ") 
      
    . ()   
         ()   
 ()  (): 
    () ::= () | () + () | ()  () 
          . 
(,       - ,  
',          
   .) 
              
   :        , 
      +  . ,    * b *  -f- 
d     ** (  *),    ( + b * 
) (a-f-b*c),    .  ,  
    ) 1)     ; 2) 
   +,    ; 3)    ,    . 
    ()    : 
         
             :   :     .	| 
      
    |   . : |       
    |   .  -.	|   
      
    [ 
      
     
    .    .   =>    
    .    .  ~"-^-"=f


    10.   	15/ 


    .   .	.   
    .    	  
    .    .	 ("-") 
    .    .    .  =""=> 
    .   .	.      ...... 
    .    .	  
     (".") .    .    =-    .     
   
     ,        
      -,     
 .    ,       
   
    () :: =  | ( )      
   -       ,     
      . 
    ,     ,  <  
,         
.            
         
,    ,       
 . ,      . 
        
 ,      : 
    |)0|    |11|>1|>    
    .           : |          З . 
: |           -.	|  
.    I     
       
      
     
    .  .   
    .  .  = "*" 
    .   .	  
     (".") 
    .  .  ="/"=* . 
        .   

    158	, .        

    ,   .	  
    .   .	 ("..  ^> 
    .   .    =$-    
    .      
      

       
    .         : |        . : | 
      -|  .  
  |     

     ,   =^="("      
    . .  ")" 
    .	.  
    .	,  .    | . .  "(' 
    .	.     
    .	.     -: .   = ")'" 
    .	.   .    
    .	  
      

        
    .         :   "" ^ ,   ^."" 
    . : |    ( ) . 
    .	|      
    .	1   
    .     (".. (",  . ,"}  ") .    
.     
      [=== = = . = = = = =, == ==.,,. ==., = = .= ..., = =. 

            
   b  .  ,       
      (  ), . .  
     .   ?  
   ,          
 (**) (. 10.3).     ,       
  ,   ,   ,  
      ,     .   
   .  ,    
    -   ,  ' TQrOj  
 (**)  * 

    10.    159 

           -..  
  , 
    ^'. 
    < > * 
    	                                                                      
                         

    .   10.3.           (* *) 

       (**)           (***),  * 
    : 
    (): : = () | () + () | ()  () (): : 
= () | () * () 
    | ()/() 
    (): : = (()) | ( ) ( ): : =  | 
 |  | d | ... |z 
    (**) 
           
,     , . , ,  
i)dp;i6oii<i:       , 
     .       
,           
  ,        
    , ,     
     . 
           
  ,      . , 
,          
      .     
            
    , 

    160	. 2.        

      ?,      (**)  
     ,   -|-  ,   
     < ,   *  /, 
   '.() 
    ( ) ::= + |  ( ) ::="*[/ 
       <)  ()   : 
    () ::= () {( ) ()} 
    () ::= () {( )  ()} 
             . 
   (**)    .   
           
 .   , ,  : 

       
    .         :    :    
    |       
    |    
    . : |       .	|  
 .      
    ]      
    I  
       
    .	  
    .	  
    .	.      
    .	.      .    .    
    .	.      .    .   = "+"=*" 
    .	.      .                                   .    
    .	,     ,                                   
    .	.     .                                  ("- ") 
    .	.     .    .   = "  "= 
    .	.     .                               .    
    .	.     .                                   
    .	.     .                                  (". ") 
    .	.  .  =*    
    .	.                         
    .	  
      


    10.   	1! 

         . , 
,          , 
  :      
 ,     ,  
    . 
            b     
. ,      : ,   . 
     ,      . 
     

    . ()   
    #       
    . ()   . 
      
    . ()   .  

      .  -  ,  
      .    
   ,     .   , 
,  -:       
 ,        
  , . .    

     <". ") 
     (".") 
      .  . 

             ,  '   
   ,      
.    ,     
 .       
  ,         . 
    II ,      ,  . 
,          *     
 ,    /  ,   
   .         
 ,           
       . , 
,   .       
      D . 20. 
           *  . 
     

    6    .  . .  , .  
    162	. 2.        

             
 .        
 ,       . 
      ,      
     ,  
    )     (   )   
     ,      ;, 
    )   (///)    
    -:   . 
              . 
     , , . ,    
  ,     .  . ,   
       + 1  . ,   
    ^       
  (   ,     , 
  ). .   : 
    (  ><) (  )   . 
    (...  > <> (  >)...). 
                   
        X  Y, 
  )  ).    X,   
Y,      ;),  ,  
  , -  )  ),    . 
     ,    :   , 
    ,     
 ,    ,  ,    
 (   ),     , 
      .     
  ,    z,     
    (   ].   
   ,      . 
       . : 
    1,    ( : ) 
       { :  : ) ,       
(DX :  : ) 


    10.    163 

    : 
     =  (,  ,  , ) . : 
      :      : 
       | ____---__-__.________ ___________ 
        (:) 
    .         :      :     
    |     
    . : |  , . .   | 
    
    .    ("- ") .     .  

                 
     .       
   .      
    ,      * 
   .       
,       (^     ): 

    .   {: "(") 
    . .    
    .          
    . .      ( : ) 
    .   
    . ,  ( : ")") 
    :  .  .  .  .  
("-  ") .  ("-  ")   
       ( : : ) .         : . : 
    . : = .  () 
    .  
    . .     =  =*  ("- (", , "}  ") 
    . .    =   =- , () 
    6 


    164 . 2.        

    . .     =  =>    () 
     . () . .     =   => 
       () . . 
    :  . = "(" 
      .-   .     
        { :  : ) .         : 
    (.  {) =   
    .  ()=  )   .   | 
,   ,  "(* . : j        ,  
 -|   "", . 
    .   .( .)   (; . .    
    .  .      .     (: ) . .      
    . .     .     = " + " =*- (". ") . .     .     = 
"  "<=>  (".") . .      .     = "*"=>  
(".") .    . = "/"=>  {".") . .     .    
=>  . .       .     
      
      : 
    1.   {:  : ) 
    2. ( : cl : )   ( : 2 : )   ( :  : ) 
     
    / 
    1..2 
    . : 
     =  (,  ,  , )   
1--  -   --   --  ---~i 
       ( :  : ):  
    .         : |  ~     
    . : 
    10.    165 
    .  . .      
    "+"   = ""   = "*"   ="/" 
    >  := "("	=- :=   
    tl\fr 
    =>-  :=   " =*  :=  
    . .       . .        = ") . .       "" <  < . .       
=>  .     
     (: cl: )   ( : 2): / 
    .         : (  (!) =   
    .	  (cl) =  )               
    .	(  (2) =   
    .	  (2)   ) 
    . : 
    .  
    . .        (cl) =    -:=  
    . .        (2) ==   =-  :=  
    . .      **  := ( (cl) ^  (2)) 
    .   
      
      (:  : ): 1. .2 .         :   () = 
 . : 
    .     
    . .   *+*  := 1   = ""=>-  := I . .   = "*" 
=*"0:=2 . .  =>"/" =*-:=2 .     
      [ = === === = 
    ,       .   
  ,      
       ,    
           
           ?s  >,  
   ^=   , 

    166 . 2.        

        ,     ,  
      -    . 
      ,      .  
    ,      
 ,     (  )  
, ,       

    \   a+(b+c*d\     |               )>    \     

    .   10.4.   )      ,   )       

    (. 10.4) (        
  ,       
).       ,    
  . 8, 

      	' 

    1.      
    )     , 
    )      (. ,   
,       ;  
        ). 
    2. ,   (a *(b + c)+ d)/(a + d)   
  
    )   (*), 
    )   (**) 
    (                  
 ). 
     35       . 
    3.        
 ( *( + )  d)/(a + d). 
    4.    ,   -  
,      . 
    5.    ,       
          
  . 

    11.    	167 