! ! "!  


 ! #
$

 
  

  

 

  
!



  


%&'
( )! 
$
*( +
! '!
,! 
&!
+'! -!
'! '

 
 
 
 
    
        
                ! "#$#  %#&' (  

           

    

)  *
        !  !

 ! !
  +  ,  
       
*  


   
 
-    
 
  ,   
  
 .
   ,     
  
   
/

   01 2
3

   01 2
3 
   40 2
)

 40 2
5   40 40
- 


 40 40

       10 60
  ,          
  
 

   

 ,!

 ,        !

    7       !  


 8 
  9 *  
 9! ,  
  
 +
 *!  

    :
 

 
 
- *     *     ; < !  6    =>?@A
B     *       46C
 *   
     
 3

D
• B10EC 5   



• B10EC F

 9    
*



G
 
 
  
   
44 /

                                      1
46 -*                                      H
4G F                                   H
4G4 I9                                     ;
4G6 3                                    ;
4J )
,
 
                                 ;
4J4 KL$#'@MA                                      N
4J6 3                                     N
4JG -                                      N
4JJ 8                                 O
41 )                                           O
4H 59 
                              40
4H4 ) 
 7                                40
4H6 3                              40
4HG 3   9                     44
   

  
   
 
G4 + :                                         46
G6 . *  P#?>Q                                   46
GG +                                       4G
GJ <, 9                                 4J
G1 -7     ,                         41

J
     
(           

* * -
* 


       7D
• <  
 *7  
 
,

• 5
 *   
 * * 
   


• <  ! 

R 7  
R ,

• )9  9    S#AT#'

• 59 
 

+        ,  

 *
 

. 

       U  

 D
• -
 
!       
D

  

   
 
 
• -  !     *     
*  ,9! 

 *    ! 

 V,   
 
B@?WMXAT>XMC -         7
  ,


• -     !   *     


V,  +  
     
 D
   
• - ! "!   *   
     L

 . 
      
 
  

#  BMAT#YM AMZ@M?TMC 8 
      
 

    
   

  
 \ B=#T[A'#A\C . 
 L
  , 7
*   
 \ B=#T[A'#A\C
 ,   
 4
+   
    
 D
  \ \ \
• -  $
 !   *   
  
 
 

  ,     
 . 9   *  
 L
       +   9L
    
 D
    ! "\
#$\\%& '\\($\\
• - $
! 
 !       
D
) * + , - . " / 0
)) ") 1 2 1) 2)

1
 + 
 4D <
   , BMAT#YM AMZ@M?TMAC
<
   +,
,
\  
    B'Q?M ]MMWC
\  
   B^#=C
\  
 ,     BT#XXQ#_M XM^@X?C
\  
  `abb

 0
\\  
 \ B=#T[A'#A\C
\  
  B  
C
\  
  B  
C
\nn  
  `abb

 nn  
7
 *

• - " !       

D
3 4 5 6 { } 7 $ 8

)
   

   ,
!       
  
!     U 

 
 *D
• %! "!   
    * 
  BAY#TMC! L

   B^#=C! 
    B'Q?M ]MMWC  
 L
,     BT#XXQ#_M XM^@X?C
• "
  !     U   
   
 ++
  UL
       
• "
 &

' '!     U   

   
 3,
  L
U   
   
 ,4 -     ,    
, 

! "#$ 
%
(   U * 9
* * D
•
D 
     4H =Q^ B−32768  32767C!

• D  
 
   N =Q^ B0  255C
)
   9
* *!    U   * 
  !
   9 U  t 56!   t    
 9
 * c U
    * 
 
,!         

  

 
 F     9  
* *! * 

  
   

& '
 ( $


(        B='>T[ A^X@T^@XMWC   d   

      S#AT#' .  *    ,    
   
 
 9       *  S#AT#'
H
   !
"

.   9     ,  
  *  9  3
    *  9    *  
!   
*    L
,     
!        
 
  + 
  9   D
 
  
 
 

<            9    
*
   #
 
8     
 
      
,  !  

 
    3 
,  ,    !  

    
  * , .    



      
  . * ,   
  *  
 . 
 * ,         
  ,   B  
  C
8 
  
 U    !  * 
   L
 (     U  
R 7  B=e $#'@MC

R ,
B=e XM]MXM?TMC <     
     *  7

 !   
R ,! ,
 
R 7  <*  L
  *  

R 7 
<
 *   
,  
   
     
            
     
    
  

. 
     
 *  
,  (  
  

 9   S#AT#'!  ,     9 ! L

 
-              
 
  
 {
 }
) *+  (
8 
,     
 *
       L
   *  * . 
, 
   *
 D    
'L$#'@MA!    ,   4J4
     XL$#'@MA!  L
,   4J6  4JJ -     'L$#'@M
 XL$#'@M    
         D  'L$#'@MA , U     
   XL$#'@MA  7 )    'L$#'@MA!  XL$#'@MA  *  
*  

. 
   ,   4J6
 4JG f*  
    

 

           

 B   VC
. 
,
  
 *  , U   !  L
*    
;
 $  %&'()*
. 'L$#'@MA * 
  
 9      

  
   
    *    - 
 L
    9 !    !    

  
9  3

D
• -   9        'L$#'@M
  
  
  . *  'L$#'@M    *    

• < a    
, * t 56
 i  
, *
!  a5i6    'L$#'@M
 * t!    iL     
 a
• I  9 !  ,   44!   'L$#'@M  *
5n + 16!  n  
  9  8  'L$#'@M     


  * ! 
      9 
 
   
 `abb

  
  9  3     
 
*L
    ! *,   *9  
       
9 
<  'L$#'@M   
,!     
,       
  
     'L$#'@M
 $  #
+  
3 XL$#'@MA     
   
  D
• . 
    !  ,   44 d *


          
 
   
• .  
!  ,   44 d * 
 
      

 `abb  
  
) !  
   
   
  D
• . 7
 
 

 $  ,  

.     
        *  * .    
 * ,     BY>A^ghC!      *  * , 
7*    BQ?ghC (            7
i           XL$#'@M  
 +, 



• .      * *
 +  *     -  *
    
, *

      XL$#'@M   *
• .      * "    
  -  *   
  

        
• .    *  * *! +! ,! -
 .  *  
 7 -
 *     
,   *
  
     
XL$#'@M   *
• .   ))! ")! 1! 2! 1)
 2)  *   *
 7*  -
 *     
,   *
  
     


N
 + 
 6D +
 
     
< j

-  +,   L


* + " +! 
  4 YXMgh
, - . +  
   6 Q?gh! 
* + +
   6 Q?gh! 
)) ") 2 1 1) 2) 3
   6 Q?gh!
 
/ /
 *U7 6 Q?gh! 
0 /
 U7 6 Q?gh! 

• .   /
 0  *    7  
 *U7
 U7
-  *     

    
    (  L
 
  * *       $"!
  BA\>X^L
TQXT@Q^C F !      
       

    *!  *  *  
 
3  
 6  U  
  
      .
  9 
 V    
     * 
-   9 
       
 $ $ - 
 
< f          * t!   * , t 
  !   
, f (e1, . . . , en )    XL$#'@M  * t .   

 n         
   f  ) ! 
*
   
 
        *
  
    
 ! *,   


• <  
    * t
 
R 7 !     

     
, * t
• <  
    * t
 
R ,!     

     'L$#'@M * t
8 
  !  
      
7
, *
.     U        
 D
• (
   8  

  

• (     $) e8      

, e  'L$#'@M  ( 'L$#'@M
     * t     *  
!   
, e     
 * t
• ( *  !        
     

{
 } .    
 * 
! 
 
      

• (  
  f (e1 , . . . , en )8!    k   L
 4JJ   ,   * ,   f     
O
 • (    
3c4 s1  s2!  c      
 

 s1!
s2    
   -     
 (     
      
• (     
 3c4  s!  c      
 

 s 

   (            
• (      e 8   U  
    

,    e      <    
* ,    
, e      F,
!  
, e
   *    * ,   

- . 

% (%
(   U  *  
 !       
#AAM&='e  N0hNH   $$
    BX@?L^Q&M 'Q=X#XeC )   

 
 ! 
  
U  9 !     
    +
    * 
 7     

 .  /00  100

      
      
      
       
  

.   *   

*   
  9
*
*  !

   
* 9  . 
9 
 

,       
  
   =e^M   * 

      `abb


!   
!   
!   
!        
  

< !    *      


 9
* *  
    9  (  :
&
      9     
  
 .  
 U    
 B 9
  
* \C    9*
   
 
    
 * . 
     
* <     

7    
   !     
     



 .  #
 

0
!     
 "     

(  
    *      *
 ( * ,
  *     N  
 =Q^A   
40
 .  #
  2   "00 
#    
  
$     
    
  
    
    
  
    
    
  

.    

9          99 

    

     

( *7       
  , lmno ( 
  
 
  #!!  ,   *  7*  9
  V 

 
 
   !  ,   L

 6 - *9  QW! Q?^LT>?A^! T\#XLT>?A^

 A^XQ?_L'Q^MX#'   
 *9  


YX>_X#& ::= ]@?TLWM]
]@?TLWM] ::= QW p(q [ ]Y#XL'QA^ ] p)q p:q XL^eYM ( '>T#'LWM] )∗ T>&Y>@?WLA^&^
]Y#XL'QA^ ::= ]Y#XLWM] ( p,q ]Y#XLWM] )∗
]Y#XLWM] ::= QW p:q [ preferenceq ] ^eYM
W#^#L^eYM pintq | pbyteq
::=
^eYM ::= W#^#L^eYM [ p[q p]q ]
XL^eYM ::= W#^#L^eYM | pprocq
'>T#'LWM] ::= ]@?TLWM] | $#XLWM]
$#XLWM] ::= QW p:q W#^#L^eYM [ p[q Q?^LT>?A^ p]q ] p;q
A^&^ ::= p;q | 'L$#'@M p:=q MhYX p;q | T>&Y>@?WLA^&^ | ]@?TLT#'' p;q
| pifq p(q T>?W p)q A^&^ [ pelseq A^&^ ]
| pwhileq p(q pcondq p)q A^&^ | preturnq [ MhYX ] p;q
T>&Y>@?WLA^&^ ::= p{q ( A^&^ )∗ p}q
]@?TLT#'' ::= QW p(q [ MhYXL'QA^ ] p)q
MhYXL'QA^ ::= MhYX ( p,q MhYX )∗
MhYX ::= Q?^LT>?A^ | T\#XLT>?A^ | 'L$#'@M | p(q MhYX p)q | ]@?TLT#''
| ( p+q | p-q ) MhYX | MhYX ( p+q | p-q | p*q | p/q | p%q ) MhYX
'L$#'@M ::= QW [ p[q MhYX p]q ] | A^XQ?_L'Q^MX#'
T>?W ::= ptrueq | pfalseq | p(q T>?W p)q | p!q T>?W
| MhYX ( p==q | p!=q | p<q | p>q | p<=q | p>=q ) MhYX
| T>?W ( p&q | p|q ) T>?W

  !

3 ,    7       !    
L
   
  
 
      B  
C!    9   
!  

 B  9  C! 
,  ,    
 !

   



   ,  ,    
       
 * !      
44
 left middle right

3 4D . *  P#?>Q

&  /
- 
      *       

     -       
##   
%
   &'## #!()&
*

&! 0 $# ( 123

-   
  *  9   *  P#?>Q I * ,
 9    

c  * !          n    
* 
. 7
   
    ,

     

    ,   7
 !  ,    4 r 
 ,*  
*        *  B  * 
9
 C! 
    7
D
• 8 ,   ,   
* ! 
 *  

  * 
• <*   
*    *    
*  

 
-       *   9    
 ( 

  


#+   

     ,   


   
 , #    
  

$+  ,   

    
  
%
   &-+  $ &
    ,
   &  &
   
   &.)&

46
 *

% // 
   01  %
   / , , #  
$+ , 
   / , #   ,
*
* // 

2,$34   

% // #+
   &4   &
2,$34  1 !
 2,$34   &#& & & &$ !!#&
* // #+

&& 4 


- 
              U
  * 7* 4
 n!   n
 U    - 
              I *
*      V    
 /9 V    6

G   !
   7U     , 6k ± 1!  k ,


-30 4 
*  * 6
 G
 t := 6  n  9 6
  7D
   t − 1     * 
   t + 1     * 
54+ 0  20 6  0 + 4 t 
078
 t < 0   7   −t
 t < 2   t    
 t = 2   t   
  t     6   t    
 i := 3  t/2  9 2
  7D
  t     i   t    
> t   
-           
 
$    

 $     
 
%
  5  ,  $/
#    5  , 
#    11  , 
#    6  11  , 
#  %

4G
 1 
 #  51  7  %
  6 11 
, 
1 8 
*
, 
*
*

# $   
,$  
,  

% // $ 
   &9 $  &
# $  1 !
   &: $ )&
, 1 
 # $  01  %
, 1 , 8 
 
   &)&
*
 # $  01  %
, 1 , 8 
 
   &)&
*
,$ 1 ;
 # ,$ 51 # $  %
  $,$ /  11  %
, 1 , 8 
 ,$ / 
   &)&
*
 ,$ (1 # $  <  $,$ 8  11  %
, 1 , 8 
 ,$ 8 
   &)&
*
,$ 1 ,$ 8 ;
*

   &)=# &
 ,
   &)&
* // $ 

&) 5+ (

-   
      
   pPM''> s>X'W:q L
,    9 
$    

  
 

4J
 +     
  
 
#  
%
# 1 # 
 #  5 # %

1
#/ / 
1 8
*

1 >)>
*

% // $ 
+ &)(!# ##'&
   
* // $ 

&, "6

 
   +( 
.    ,  B=@=='M A>X^C       *
  *   L
 7 - 
        7 
 
 
  
R *7  < x     
    7

 n      B* *,   *9         

 x[0], x[1], . . . x[n − 1]C!        ,  V

  7D
54+ 0
  69(99) *:;<8
 9  7D
 i  0  n − 2
 x[i] > x[i + 1]
 V  x[i]
 x[i + 1]
 9        x
-           7D
$    

        

  

          

  
%
 1 
 1 
 1 
*

!  
 

% //  
! 1 
 # ! 0  %
! 1 
1 
 #  5 / %
 
0 
8  %

 
8 

41
 ! 1 
*
1 8
*
*
* //  

 ? $    

       
  
 
%
   $ 
1 
 #  5  %
  0     & &
 

1 8
*
   &)&
*

!  
  
; 
 

% // $ 
! 1 ;@
1 
 #  5 ; %
! 1  ! A B 8  8  6 

1 !
1 8
*
 ?&  #  & ; 
 ; 
 ?& !  & ; 
* // $ 

4H