Sunteți pe pagina 1din 116

 

   
  







 

 
:  


.              


  
: 
1)  . # - & / $ ($ *" #$  %$& '(& )
 $ '$ *$ +#$ % & ,& - &
45
 " *65 789 -$: ;#  / $ *$ *" #$  %$&  <$ *$ = >(2
> <$ *"#" >" ( <$ > $ $ : <$ *$ 4$< $ 2 $ %9 .'$
.4  # *6 8$
:   !"#
:- & ;
5$ A  +$$ )< .  @ 1
 $ 1
- & ($ - & '($ ;
5$ A  +$$ +
B $ *5$ *5$

B(C8$ D
$) #$ %

B $ *5 $ #$ % (

B$ $

. $ '/$ %$ $ +$

Universal Knowledge Solutions s.a.l.


1

$ "
$ "  
 



:!  
E ,$ $ C8 9 D
:$ <$ (#9 ;#   5$
$ > F C8$ >T D
$ :4 %  9 %5 FEF
D
J(  $ 4  4I   "2+2=4" : 1 ;F
C8 J(  $ 4  4I   "2+2=5" : 2 ;F
(x=1,y=1) y x K$ %$ L< ;9  D
  9  $ 4  4I  *$  " x+y >0" : 3 ;F
(x=-1,y=-1) 78I %$ L< ;9  C8   9 
  -$: ( *5$   $ 2   : $
# ((& x $ :;F
(r ) x2 > 4 = (Q  ) x < -2  A: 9 (p  ) x>2  A:
:@(  $  
If p or Q then r

M$A =   F  4 ($ $   $ >  -$: ;
  *    >  9 1

.D#
. # - & @ @ 1
 *5$   9 %#
:$$ ;F$ $ M$A D $
(Q ) N $ A5 ;E8 5
$  - &  ($  A: 9 (p ) N O   /$ C8 ($  A:
.(r % ) C8 $ - & ;
# =
:( ;     
If p or Q then r
:9 ( &( 
If not r then not p and not Q
" N $ :  /$ 89  # " N $ = N $ A5 F9 C8 $ M$  %$ A: P9 $  M$A &  <
.5
$  - &  * < % 

Universal Knowledge Solutions s.a.l.


2




 &'
&'  
 



:$$ ; ($ F p 5$ $ %$ >(p ) (# ;< 4$ >~ 6 : $ 5$  &
p
T
F

~p
F
T

~p S$ #$ ; (
:%$  <$ #$ ; ( >(Q ) (p ) E< 4$ > 6 :() $ %$  &
p
T
T
F
F

Q
T
F
T
F

pQ
T
F
F
F

:;
5$  <$ #$ ; ( >(Q ) (p ) E< 4$ > 6 :( 9) $ ;
5$  &
p
T
T
F
F

Q
T
F
T
F

pQ
T
T
T
F

:(  ' & ) 


$$ >( $ /0# , - :#+)( x < 1 ) ~( p) p 5 : >( $ # , - :#+)( x > 1 ) p 5$ $

~p S$ $ $ 9)


 (~p) p 5 = ( x > 1 ) 9 (True = p S$ $ $ 9) # p   (&
.False  

2
211



.( > >~)

    4<   $  $ *5$  &   $ 5$

5 $ #$ ; ( = M$A  $ 45$ $ %$  E $ 5 $ $ %$ +# 
.  $ *5$ %$ $ * $   & 2 $

Universal Knowledge Solutions s.a.l.


3

$ Q p  $ 5$ ($ $  $ *5$  (   5$ $ %$ +# 5 D $
: $$ $ 5$
( p q) ~ ( p q)

%F  >( ( p q ) ( p q ) )  8($ , I  $ $ %$ +# 9) W($ 5$ UA4$ #$ ; ( V
:M$ ( A - &I 7 $ - & * <$
p

( p q)

( p q)

~ ( p q)

( p q) ~ ( p q)

T
T
F
F

T
F
T
F

T
T
T
F

T
F
F
F

F
T
T
T

F
T
T
F

:$ 
( ( p q ) ~ r ) $ 5 $ #$ ; ( :
(# 3 3( :#+) ( > >~)     4<   $  $ *5$  &   $ 5$
5 $ #$ ; ( = M$A  $ 45$ $ %$  E $ 5 $ $ %$ +# 
.  $ *5$ %$ $ * $   & 2 $
.  $ *5$  (    5$ $ %$ +# 5 ; # "
@ F #$  

(
( 45 
45 
2 ;9  M$A 4 $ #$ " (   A:  A: @  J 49 P, Q    & ; 
PQ S M$A &  < .  $ %45$ $ % $ $ * $
:1  (   :;F
~ ( p q ) ~ p ~ q
~ ( p q ) ~ p ~ q

Universal Knowledge Solutions s.a.l.


4

:; I 1  (    $


:   Q=( ~ p ~ q ) K$ #$ %  # 8X P=( ~ ( p q ) ) K$ #$ % P ( &  # # ; ( V
p
T
T
F
F

Q
T
F
T
F

~p

~Q

F
F
T
T

F
T
F
T

p q
T
F
F
F

~ (p q)
F
T
T
T

~ p ~ q
F
T
T
T

.$ N P $ %$   $ Y#E 8I ( <$ 
:$ 
F$ 1  (   

: $$ * 8$ 2  @  J P, Q    * A:   8"
Q K$ #$ %  # 8X P K$ #$ % P ( &  # # ; ( V

P, Q K$ $ %$    # (  $ 4) P, Q *" #$    ; ;9 

>(  65  ( :#+) PQ 
Z 9 ;  >%   M$  A: .1
.J 1 5$ '(#   $ )E8 M$  A: .2

 7 
 7   
   
   
 
4) 4" #$ $ %$ * 4 M$A (T) D
@ J( $ 4     (t)    
.(  $
: 5$ UA4$ #$ ; ( = > p ~ p $ 5$ ($ $ :;F
p

~p

p ~ p

T
F

F
T

T
T

.   4 $$ p % * 4 M$A T J( 4  $ UA 9 Y#E
4) 4" #$ $ %$ * 4 M$A (F) C8 @J( $ 4    (c)  7   
.(  $

Universal Knowledge Solutions s.a.l.


5

: 5$ UA4$ #$ ; ( = > p ~ p $ 5$ ($ $ :;F
p

~p

p ~ p

T
F

F
T

F
F

.  4 $$ p % * 4 M$A F @ J( 4 5$ UA 
Z 9 Y#E

(
( 45 
45  

: $$ OJ
8$  2 c $  $ t  $  $ $ >Q p  $ 5$ ($ $
p q q p

:  ( $
8$ .1

p q q p
( p q ) r p (q r )

: <$
8$ .2

( p q ) r p (q r )
p (q r ) ( p q ) ( p r )

: <6 $
8$ .3

p (q r ) ( p q ) ( p r )

p t p

:(# $ 
<$
8 .4

p c p

p ~ p t

:Y$
8 .5

p ~ p c
~ (~ p ) p

:W (6$ 5$
8 .6

p t t

:O$ 
<$
8 .7

p c c
ppp

:;F$
8 .8

pp p
p (p q) p

:O
"
8 .9

p (p q) p
~ ( p q ) ~ p ~ q

:1  (   .10

~ ( p q ) ~ p ~ q

:$ 
.9 -$: 1  O 8$ 

Universal Knowledge Solutions s.a.l.


6

 8
 8



: J $$  < $ : >  Q p $ : )<
Q  p
If p then Q
p K   Q

.   P9 [ $ A   < 9 & ;  p Q K M$A$ 6


:\    
Z I #$ ; (
p
T
T
F
F

pQ
T
F
T
T

Q
T
F
T
F

. $  4 9 Q & ;  > ($  4 9 p & ;  p Q 5$  $ 


( , , ) )
   &  "" 6$ :1 Y#E

:      <  * <$  $ 9 :2 Y#E


~ 5$ .1
, I %(8 + +$ ;#  > F$ $  C > $ ;
5$ %$ .2
@89 C $ " .3
:$$ ;F$ $ > $ 5$ -< D $
.3 - &  $ ;  4,686 ((<$ @A: 6 - &  $ E
@  4,686 ((<$  A:
.( 6 - &  $ ;  4,688 ((<$)  p $ 5$ UA  ($

.( 3 - &  $ ;  4,688 ((<$)  Q $ 5$ UA  $

: Q p K$ $ %$ +# $ 5$ UA4$ $ %$ \ ]$
$#$ UA  >( Q=T ) 9 3 - & $ ;  4,688 ((<$ ( p=T ) 9 6 - & $ ;  4,688 ((<$ .1
.(  &- 94 ( 7: 9  T :#+) (pQ)=T 9 @##
$ "  
$#$ UA  >( Q=F ) 9 3 - & $ ;  " 4,688 ((<$ ( p=T ) 9 6 - & $ ;  4,688 ((<$ .2
.(pQ)=F 9 @ J8 $ "  
$#$ UA  >( Q=T ) 9 3 - & $ ;  4,688 ((<$ ( p=F ) 9 6 - & $ ;  " 4,688 ((<$ .3
9 2 " # > ##
P * A:  P & %#$ : < $ " 9  &
" 
Z 9 ;  9 2 $$ >" %9 J8$ ($ &  ##
$ $ * A:  %6
.(pQ)=T 9 $#$ UA  D#
 $

Universal Knowledge Solutions s.a.l.


7

$ ;  " 4,688 ((<$ (p=F) 9 6 - & $ ;  " 4,688 ((<$ 
Z 9 $#  Z ^  $ 5$  ,5
.(pQ)=T 9 $#$ UA  D#
$ "   (Q=F) 9 3 - &

(8
(8 < 7
< 7 = 0
= 0
>Or &- if then $  >
:$$ $ $   9 2 (pQ) $ " ($ $

p q ~ p q
:$$ ;F$ $ >M$A D $
+ 9  &- ?"@ $# :

.Q  $ 5$  (+) ~p  $ 5$  ( &- ?"@ $#) _# ~ p q ;     
: p +# if then /
$ -$: ; # $
( &- ?"@ ) $$ /
$ 4$ p
J$ /
$  
+ @A:  &- ?"@  A:
: $  $ #$ ; ( V (pQ) ~ p q  $ $  $
p
T
T
F
F

~p
F
F
T
T

Q
T
F
T
F

~ p q
T
F
T
T

pQ
T
F
T
T

(pQ) ~ p q  $ $ N >8I ( <$  $ %$ Y#E

(8
(8 < 7
< 7 = 0
= 0
> (8 < 7 ( >
>(pQ) $%&'(~   "! ) pQ) $ 5$ & ;  >(pQ) $ " ($ $ :1 )<
:$$ $ $   9 2
~ (p q) p ~ q

Universal Knowledge Solutions s.a.l.


8

(pQ) 5 
Z = $$ J8 P ##
P( * A:  A: @J8   (pQ) $ " )<$
p ~ q K$ @  V

:    2  ~ ( p q ) p ~ q $ $  $


~ ( p q ) ~ (~ p q )
~ (~ p ) (~ q )
p ~ q

1  (   
W (6$ 5$   

C8  >8X   P$(  -$: (if then statement) $ " 5 (& '(& $ ; :  Y#E
.if K @( 9 9(  " $ " 5 
Z 9 A$ + .2J
$%&'! ) +' 
~( *  Q~p) $ " & ;  >(pQ) $ " ($ $ :2 )<
:$$ $ $   9 2 >(pQ)
( p q ) ~ q ~ p

  ;J$  F  P= %F  >$ E$ @ V P   C $ E$  ` 5$ 9
.$ " 2 ;<$  ;49  ` 5$ 2 ;<$

(8
(8 < 7
< 7 = 0
= 0
> (8 < 7 ? ,' >
:)Z< (if p then Q)$ " ($ $ :)<

(if Q then p) S (if p then Q) $ " ?

(if ~p then ~Q) S (if p then Q) $ " ,'

:6 $ /

(~p~Q)  (pQ) $ " ,'

(Qp)  (pQ) $ " ?

:  *Y#E
@  $ =5   A P& $ "

@ $ =5   A P  $ "

@ $ =5  P& $ " + 

Universal Knowledge Solutions s.a.l.


9

5$  $ " ,& 9 #  C   +  ,&  $ $ 9 Y#E (
.P $  `

(8
(8 < 7
< 7 = 0
= 0
>B % (= C (8 < 7 (only if ) @- 5 8 >
< (p only if Q) Q A:  p  <$ > Q p 5$ ($ $ :)<
(if ~Q then ~p)
: ` 5$ 2 $ $ %(8 9

(if p then Q)
: Q p 5$ ($ $ :)<
: <$ (Q A:  A: p) U" JF $ " )<
(p If, and only if, Q)
(pQ)
:K P$ 6
:$$ ; ($ F U" JF $ E$ $ %$
p
T
T
F
F

Q
T
F
T
F

pQ
T
F
F
T

(& @J8   %$ ,5 $ P" #$   (& @##


  U" JF $ " :1 Y#E

. < % $ P" #$  


:9 ( p q ) (q p ) p Q    M$ :2 Y#E

p q ( p q ) (q p )

,5    $ I _#   <$ UA + ( , , , ) )


   &  "" 6$ :3 Y#E
.$ " 

Universal Knowledge Solutions s.a.l.


10

(8
(8 < 7
< 7 = 0
= 0
>(5  D: (8 < 7 >
Q p 5$ ($ $ :1 )<
:< (p is a sufficient condition for Q) Q K$ $ $  p  <$

(if p then Q)
Q p 5$ ($ $ :2 )<
< (p is a necessary condition for Q) Q K$ %6E$ $  p  <$

(if ~p then ~Q)


:N 9 2 $ PJ %6E$ $  $ $ %(8 : Y#E
:@ 9 < (p is a necessary condition for Q) Q K$ %6E$ $  p  <$
(if Q then p)
Q >A:  A:> p 
Z 9 < Q K$ $ %6E$ $  p   $$
$  p 
Z 9 ; $ F #  >Q a#$ )
.  p a# 9 789 *  < Q K$ $ $  p 
Z 9 $ 

Q a# %(& ' $  p a# %(& 


Z 9 < Q K$ %6E$

Universal Knowledge Solutions s.a.l.


11

E C ( C 


GF 
 
 (5 
:  

. % >(  % >%& % > b ' & >% >' & >  b
: 
% 45 ;   >45 b$ * < $ J$ $  <$ ,( b$ * <$ * b$ '5$ UA  ; 
.$ $ %6E$ $
:   !"#
:- & ;
5$ A  +$$ )<

Universal Knowledge Solutions s.a.l.


12

B* b$

B b$ * <$

B%<$ %$

B(  $ %$

.$ %6E$ $


H

HF
F
.'((# @  *" #$ UA A8C (& ' &
c > $ UA D
 >*" #$  @4 @((&  #    $

_# P ( x ) :;F .A8C 9 ; # $  $ %$ 2  # &     ; #$ % ; & d <^

.  $ " <$   +$ x


& $ P ( x ) S$ ##
$ %$ &  &( = >D ;$  2 x % *   P ( x ) * A:

S ##
$ %$ &  &  < . ##
P ( x ) ;< xS 4 < (& $ >D 
& 2  5$$
.( ##
P(x) _# D -$:  x) x D P ( x )

-$: ( P(x)) P ( x ) Q ( x )

9 ;  >D ;$ ,5 - & <b   Q ( x ) P ( x ) 9 L5

. Q ( x ) S$ ##
$ %$ &  -$:  P ( x ) S$ ##
$ %$ &   
& ;  A: (Q(x)
,5 Q ( x ) P ( x )  ;
. $   (& P ( x ) Q ( x ) 6$ 4$ 6 Q(x) V P(x) 9 ; 

. ##
$ %$ & 

 
  IIFF
:;$  ' &
c <$ ' <c $   .D ;$ - &   P ( x ) L5

x D , P ( x )
(P(x) # >D -$:  x  4)
.D  x ; ;9  # P ( x ) * A: ##
' <$ UA  

.D & $ 
&  ;I - & (# 
& ;9  # 1 P ( x ) * A: # 1 ' <$  

. <$ ' < $ @< "


@ F > # 1 P ( x ) 4 9    $ x  ;

: C

D = {1, 2,3, 4, 5} : x D, x x
2

x R , x 2 x

Universal Knowledge Solutions s.a.l.


13

 '
 '  
 
@

@
 '

 ' $'
$' C#
C#
. 4 > 6$ <
x R , x 2 0 :;F

BD  x ; ;9  # P ( x ) * A: ##


' <$ UA  

B #$ ((&I &   $F  D ;$  

B x 2 0  $F  P ( x )  

.(+  ((&  # ((& 9 2 ) ##


$ ' <$  

x R, x 2 < 0 :;F
BD & $ 
&  ;I - & (# 
& ;9  # 1 P ( x ) * A: # 1 ' <$  

B #$ ((&I &   $F  D ;$  

B x < 0 $F  P ( x )  

((<$  P<  9 ($ >2 ((<$ A8C 9 5 @ $ # ((& 2    9 ") J8 $ ' <$  

.(@     4

9%
9% II FF
# D -$:  x ( ) x D , P ( x ) ;$ (  $ ' <$ A8C > D ;$ - &   P ( x ) L5

.(P(x)
BD  x SS$ ;I - & '(#  ;9  # P ( x ) * A: # ' <$  

.D & $ 
& 2 ;9  # 1 P ( x ) * A: # 1 ' <$  

: C

m Z , m 2 = m
E = {5, 6, 7,8,9} , x E , m 2 = m

Universal Knowledge Solutions s.a.l.


14

9%
9%  
 
@

@
 '

 '
.;I - & (# (  > 6$ <

x R, x 2 = x : C
B P ( x ) # ;I - & (# x (  ;#  # P ( x ) * A: ##
' <$ UA  

B #$ ((&I &   $F  D ;$  

B x 2 = x  $F  P ( x )  

.(1   1 2    _# 1  ;I - & (# # ((& ( ) ##


$ ' <$  

x R, x 2 < 0 : C
B P ( x ) # ;I - & (# x (  ;#  # P ( x ) * A: ##
' <$ UA  

B #$ ((&I &   $F  D ;$  

B x < 0  $F  P ( x )  

.(5
$  /
9 P<  # ((& 9 (  ") J8 $ ' <$  

((2
288  
  IIFF
: <$ $ ' <$

x , if P ( x ) then Q ( x )
( #   Q(x) = P(x) *# A: >x  4)
:@ 9 $$ ;$ - &  $ $ ' <$  

x D , P ( x ) Q ( x )
(Q(x) # -$: ( P(x) # >x  4)

x R, if x > 2 then x 2 < 4 : C


.D ;$ -$:  x ; ;9  @J8 P ( x )  A: @J  # 49  ' & & ; 

x R, if x 2 < 0 then x > 0 : C


 $  $ ' <$ 9 ;  A$ > #$ ((&I &  -$:  x 9 ;9  @ J8 P ( x )   $#$ UA 
.@ J  # ' &

Universal Knowledge Solutions s.a.l.


15

G
GFF
 

  (
(
x D , P ( x )  x D , P ( x ) <$ $ ' <$ 5

: C
.# *  >& $  $ *$ 2 :' <$
.# 1 >& $  ;I - & '(# ' (  :' <$ 5
. x D , P ( x )  x D , P ( x ) $ (  $ ' <$ 5
: C
.5
>& $  ;I - & '(# ' (  :' <$
.5
1 >& $  $ *$ 2 :' <$ 5
. x D , P ( x ) Q ( x )  x D , P ( x ) Q ( x ) $ ' <$ 5
: C
.# & $  $ *$ 2   #9 & $  A: & $  $ *$ 2 ;  :' <$
.# 1 '$   #9 & $   _# >& $  ;I - & '(# ' (  :' <$ 5

$  
$  
:  
  ( ? .1
.L 1 
( (  :  *
($ 2

.;
e #  ( $ ; :;# 4$ $ L<

.@ 20  ;9 - &  # COBOL N L< :@ 20  F9 - &  # COBOL N 2

1 4< N ;I - &  6 ##


((& (  : 6 ((&   6 ##
((& 9 2 N

. 6
. 6 1 ((& P<  ;I - & (#  6 D#
((& (  : 6 ((&   6 D#
((& 9 2 

:
  0 $  .2
D
: x 2 > 0 = x + $ D#
$ ((<$  4

C8 : x > 0 = x D#


$ ((<$  4

D
: x 2 0 = x D#
$ ((<$  4

D
: x 2 < x # # ((& ;I - & ( 

C8 : x < x # D#


((& ;I - & ( 

Universal Knowledge Solutions s.a.l.


16

:L5 > x #$ ((<$  4 f<b   P ( x ) L5 .3

r = x Z , P ( x ) ;
s = x Q, P ( x ) ;
t = x R, P ( x )
.+$ - & #$ (<$ ##
$ ((&I *&  & R Q Z  < _#
: # t s r   _# P ( x ) g
. x2 0

B # 1 r # t s _# P ( x ) g


x2 < x

(5 
(5  8
8 D:
D: 8
8
:   ($ # A: > s ( x ) ;9  !
K  J8 (" x , r ( x ) ' <$ 9 ; 
. 0 s ( x ) $L5 3 0 r ( x )
  @- 3 x
:   ($ # A: s ( x ) ;9  D 8 (" x , r ( x ) ' <$ 9 ; 
. 0 r ( x ) $L5  0 s ( x )
  @- 3 x


  
 
@

@
 

 
y < x E  y ' 7N &' % 3?% x  $ M
y < x >@   @((& y  4 ># x ((& ;I - & ( 

y ? x E  y  8 7N &' % x  8 $ M


y ? x = y O8$  4 # x O8 ;I - & ( 

Universal Knowledge Solutions s.a.l.


17


  
 
@

@
 

  (
(
x , y , P ( x , y ) @  V x , y , P ( x , y ) ' <$ 5 :
x , y , P ( x , y ) @  V x , y , P ( x , y ) ' <$ 5 :
: C
. y < x _# y ((& ;I - & (  >+ $ x ((<$  4 : 
. x < y = y ((<$  4 _# >x +  ((& ;I - & (  :(
.y +# x = y O8$  4 # x O8 ;I - & (  : 
.y +#" x _# y O8 ;I - & (  >x O8$  4 :(

M
M 0
0   0
 0  
  %
%   N
  N  
 
7: 

7:  @
@
: ~ P ( 7:' .1
P
T
F

~P
F
T
: P Q AND 7:' .2

T
T
F
F

T
F
T
F

PQ
T
F
F
F

: P Q OR 7:' .3
P

T
T
F
F

T
F
T
F

Universal Knowledge Solutions s.a.l.


18

PQ
T
T
T
F

: ~ P Q 65  7:' (" P Q OR 7:' .4


P
Q
PQ
T
T
T
T
F
F
F
T
T
F
F
T
: C
(P Q) (P Q) : 7:  0   %

T
T
F
F

T
F
T
F

(P Q)
T
F
T
T

(P Q)
T
F
F
F

(P Q) (P Q)
T
F
T
T

$  
$  
. 0   '% , M ( ODN 3   
  OD# $  $  .1
(1) x D, ( P ( x ) Q ( x ) ) vs ( x D, P ( x ) ) ( x D, Q ( x ) )
(2) x D, ( P ( x ) Q ( x ) ) vs ( x D, P ( x ) ) ( x D, Q ( x ) )
(3) x D, ( P ( x ) Q ( x ) ) vs ( x D, P ( x ) ) ( x D, Q ( x ) )
(4) x D, ( P ( x ) Q ( x ) ) vs ( x D, P ( x ) ) ( x D, Q ( x ) )

:(         ( &- 5 P    


  $  '  ? .2
B5
$  @   9 x 9 5
$  @  /
9 x : >D#
((& x  4 .a
B ##
$ ((&I &  -$: ##
((& 9  ;
# " .b
BE(x) 9 Q(x)  <$ (#9 # -$: P(x) # ( x  4 .c
.@ # Q(x) ;< x  " y 9 @ # P(x)   _# x (  .d
B5
$   n 9   n = $ 1 n * A: :   % ( "  .3

Universal Knowledge Solutions s.a.l.


19

:(    $  .4
"#"  Z#"=A :' <$ .a
"#"   +"=B :' <$ .b
" #`  <"=C :' <$ .c
:& Z &
B A B C .a
B A B C .b
B A B C .c
:($L5 ...@-) if-then 8 &'    %   '# .5
B < $ &$  ;C I 8C9 $ .a
B$ A P $9  (9 $ = ": '$ UA ;1  & + .b
B$ * 9 ": )  .c
:($L5 ...@-) if-then
 ' &- (@- 5) only-if
   .6
BW8$ [  -49 A:  W8 .a
.45JY *49 A:  6  +A .b
:          % '# .7

[ ~ P ((P Q) (P Q))] (P Q)

Universal Knowledge Solutions s.a.l.


20

:,  ,  Q 


(  <

:  

>J 8 > (< E& > < E& > JF E& >+ E& >N($  $ >Wh($ >$ "
.,C$ ( + >,C$ '( & 
: 
.Wh($  $ *$X *$X $ " )< - & ;
5$ A  )<
:   !"#
:- & ;
5$ A  +$$ )<
B < $ ((&I &  )<
8$ 8$ *i b$

BWh($  $

BJ6$  $  $ +$ E&

B,C$ ($ " +$

.J" 8$

Universal Knowledge Solutions s.a.l.


21

   
   'N
'N '%
'%
:(Giuseppe Peano) < $ ((&I &  )< * ib
B<  ((& 5
$

Bn+1  P  <  ((& >n <  ((& ;$

B5
$ P  <  ((& 9 ( "

B  ((& >$$ < $ ((<$ ,5 4$ <  ((& ;  

9( )  &  $   & $ * >$ ((& 4 <  ((& ;$  0 ((<$ - & &  * # A:

.(W($
:R:
-$: )<$  *i b$ 7(#: : ( _# > < $ ((&I &  )<  7  9  $ ,8$ *  $
)<$ ;< -$: )<$  -$ I i b$ : ( >;F$ ;  - < . < $ ((&I & $ V8 )< %(8
.'8I < I * $ # $ 15$ & $ - &  

 (5
(5 OS
OS 
  $ " 
$ "   @
 @
:9 - &   >n <  ((& 9 ;9  ##
P(n)
8$ 9 - &  $
BP(0) ;9  ##

8$

:($ >n <  ((& ; ;9 

P(n) P(n + 1)

(P(n+1) &- 94 P(n))

Universal Knowledge Solutions s.a.l.


22

((22)) T
T  $'
$' E
E ::  (5
(5 OS
OS 
  $ " 
$ "   @
 @
: $$ $#$  _# $
A  (  " P= >' $ J  '(# < > ( < n - &  #  (
 (j 
c b A: >n < $ ((<$  4
.' $ J  2 ":  (
$
;9  4 $ > < n - &  #  (
;9  ##
49 L5$ .n=1 ;9  ##

8$ UA  
: < n+1 - &  #  (

.' $ J  '(# < - &  # > ( < n+1  @ 5$ @  (
($ 9 @A: L5$

.A$ 5\ <$ & 5 8$  (


$  ($ 2$ 7(#: +#$

.' $ J  < 4 ( < n - &  # @  (


(& ($ - 

.' $ J  2 & ' &  $  (


$ 2 2   >n - & D#
$ L5 $ @< 

- & 4 ( < n - &  # @  (


($ (& -  > 5 8 < +#$ > # $ <$ )^$

.' $ J  < ;I


.' $ J  2 & ' &  $  (
$ 2 2   >n - & D#
$ L5 $ @< 

S$ >' $ J  <  (&9  # $ <$ >' $ J  2 - & ":  #"  (
$ A @A:

!!!!! ' $ J  2  @A: < n+1


lC8$ 9
$ 7 $ 9# 3 ( < n+1  )$  (
(  ;# 5 .n=1   (& @##
W($  " > #$ 
' $ J & 5 8 <  # A= .P2 789 < ' $ J  P1 < - & (&  #  (
$ = 3$  
>(P1 $#   ) ' $ J  '(# < - &  #  (
- & ;
# = >(P2 $#   )  $ +#
9  #" ) 8  (
- & ;
# = P1  #  (
$ -$: (&9 >' $ J & 5 8 P2 * A: $
.' $ J  <

9
9 OS
OS

:9 - &  $ 5 >n 9 ;9  ##
P(n)
8$ 9 - &  $
B ##
P(0)
8$

:($   <  n ; ;9 

[m < n, P(m)] P(n)


( $ P(n) $L5 3 n $ /0# m  %# $  P(m)
  @-)

Universal Knowledge Solutions s.a.l.


23

:9 O &' $ "


.0 ;9  ##
P
8 (  L5$

:9 9 >n  /
9 m 9 ;9   n ;9  ##
P 9 L5$

[m < n, P(m)] P(n)


.   n 9 ;9  ##
1
8$ UA 9 L5$

B $8 F  " L5$ B J8 P


8$ 4 9    $ < $ ((&I &   F 9 L5$

.n0 $ /


9 
& - & @A:  # 4 >   $8 1 J6 &   F 9  >A:

,$  -$:    $ )  n0 /


9   $ 
<$ 2 ;9  ##
P
8$   >P &

B(F -$:
.F - & [  $ L5 $ )$8  n0 ;9  ##
P
8$   $

: C

- & P5 - & ": $ ; " A$ ((<$  $ I ((<$) . $ 9 ((&9 ( N  +  <  ((& ; 9 
.((# $
:U 
:9 OS  $ "
B$ 9 ((&  @ 9 2   n=2 ;9  ##

8$ :$ " ' 7
:n +  <  ((& 9 ;9  :OS
 @ /
9 ((& ;   P & >n  @ /
9 +  <  ((& ; ;9  ##

8$ 9 L5$

B( $ Wh($  [m < n, P(m)] 6$ \  9 9) $ I ((&I  &  ( N  >n
B( $ Wh($  [m < n, P(m)] P(n) 6$   9) $ 9 ((&9 ( ;
#  n 9 - &  $

B $ 9 ((&9 ( ;
#$   n (&   (# $ - & P5 - & ": $ ;  $ P= >@$ 9 n  A:

Bn  /
9 p d _# n=d*p   _# P5 & 1 & ) 8 d % n M  >@$ 9 n  %$ A: 9

 n 9 <  > $ 9 ((&9 ( ;


#   4  = n  @  /
9 p d 9  >L5$ +# $

. $ 9 ((&9 ( ;
#

Universal Knowledge Solutions s.a.l.


24

? 
?  7:'
7:'
: = C 7:

A B -$: $ *JF$ &   J6 &  4C B -$: A  JF$ E<$ )d<^ .&  B A $
. A B = {(x, y) | x A, y B} _#
:   E<$ y S   x 9 + 6$ JF$ E< $ 6
(x, y) 9 xy
 < $ ((&I &  - & ((&I  $   E& : C

: $$ FI ($   P & .y - & $ ;  x  A: ( xy 9) y 2 (  $ ;  : ) E<$ @   x  
6 2, 9 3, 20 5

:9 R  3, 


:A &  - & E<$  
B x A, xx # A: : .1
x, y A, if xy then yx # A: :R  .2
x, y, z A, if xy and yz then xz # A: :  .3

:  < $ ((&I &  - & ((&I  $   E&   : C


BP5 - &  $ ;    ((& C : .1
- < >   A: ": x - &  $ ;  1 y 9 ($  y - &  $ ;  x  A: :R   A .2
BD#
1 ,<$ $ 3 - &  $ ;  6   ;F$ ; 
- &  $ ;    20 = 2 - &  $ ;  4  4 - &  $ ;  20  A: >;F$ ;  - < :  .3
.2
:?  7:'
  . (< >'Y 1 > < JF E& * A: L<$ -<$ + E& A &  - & E<$  
. (< >'Y 1 > < 1 * A: %
$ -<$ + E& JF$ E<$
E< 4  L<$ -<$ + E& > < $ ((&I &  - & (  9 /
9) E<$  &  : C
:  _# <  
+
x < y x y and x y

Universal Knowledge Solutions s.a.l.


25

(=D%
(=D% ? 
?  (
( ? 
? 
:  # A:  A:   + E& E & $ - & +$ E&  
x, y E, xy yx

(x V  y # y V  x - 3E $ y x 9# %# $)


. J6   +$ E& = ":
: C
; ) E<$   #  >   + E& (  9 /
9) +$ E&   > < $ ((&I &  - &
. J6 + E& (  $

$ 
$ 
BE & $ 69 &  P(E) $ > &  E $
: # E&  P(E) - &  #" E& 9  .1
xy xy

(y 9  # (5  x
  @- 5 @- y V  x)
l; & >J6 9   + E& E<$ UA ; .2
:U 
B (< 'Y 1 > < E& .1
.J6 + .2

9%
9%N
N ? 
? 


 &'
&' ? 
? 
B ( 9 A $
_#)

v=v1v2vi vn  $ $ ( u1...u i ...u n A

_#)

u=u1u2uiun

 $

$

B( v1...vi ...v n A
:  # ;8  v   $ (Prefix)   ; u  $ 9 ; 

nm

u (is Prefix) v
1 i n, u i =vi
B   m _# v=um   >8X -<

.( 9 +  $ +$ %j(8mb

Universal Knowledge Solutions s.a.l.


26

1
1
'%

'%
 9 9 >  9 /
9) + E< '( 6 * A: (E, ) 6$ 4$ 6 b 49 E & $ & ; 
.(  9
.5 8 2 1 E<$ * A: >5 8 49 (E, 2 ) (E, 1 )  b$ & $ 9 ; 
:E b$ & $  J6 &  E $
Bm  /
9 E  
& 9  A:  A: E &  $  <$ ( (#$  P9 E  m 
& & ; 

Bm   9 E  
& 9  A:  A: E &  $ ($ ( (#$  P9 E  m 
& & ; 

$  
$  
lE &  $  <$ ( (#$    9 E &   
<$  ;
.E={2,8,23} &  $  <$( (#$  23   (N, )  ;F$ ;  - < >%< :;
e #$
lE &  $  <$ ( (#$  E   9 E &   5 8 
<$  ;
<  y<x x<y (&   >E -$:  E  E &  $  <$ ( (#$  y x  ;  = >E :;
e #$
.x = y 9
l 4 E * ;#  (2 )  $
8$  V 9 / ;
.E :;
e #$
l  +$ E& * ;#  (2 )  $
8$  V 9 / ;
.E :;
e #$

&N
&N 
 &'N
&'N 

.E &  $ ($ ( (#$ 
&  
&   >E & $ -$:  
& PC E &  $ -(I (#$ )f<b
.E &  $  <$ ( (#$ 
&  
&   >E & $ -$:  
& PC E &  $ -(I (#$ )f<b
:
.- &9 @(# 23 >-(9 @(# 6   (, )  E=6,8,23 & $ 

Universal Knowledge Solutions s.a.l.


27

9/0N
9/0N 0
0 (R'N
(R'N 0
0
:  # A: E  Y&9 
& P9 E  m 
& & ;  .E  J6 &  E $
y E, y m y = m

:  # A: E  /


9 
& P9 E  m 
& & ;  .E  J6 &  E $
y E, y m y = m

:% 
. &  $ (# $ Y&I 
<$   - &I (#$ A = >- &9 @(# E &  $  A:

. &  $ (# $ /


I 
<$   -(I (#$ A = >-(9 @(# E &  $  A:

: C

(P( ), )  6,8,23,42 , 8,23,37 , 6,8,23 & $ 

8,23,37 6,8,23,42 : Y&I 


<$  
6,8,23 8,23,37 : /
I 
<$  
P  9 
& 9 M  %$ A: E  Y&9 
& P9 E  m 
& & ;  .E  J6 &  E $
.+$ E<$ @ 
/
9 
& 9 M  %$ A: E  /
9 
& P9 E  m 
& & ;  .E  J6 &  E $
.+$ E<$ @  P

, T
, T  %
 % ? 
?  , T
, T  %
 % '%
'%
(Well-funded Set & Well-funded Order)
;  4 $8 1 J6 &  ; * A:  A: , T  % '% 49 (E,)  E &  & ; 

   &  $  %$ A: , T  % W   & $ - & )f<b$ +$   > $ .@ /
9 @
&

<$  J4"
: C
. (P( ), )  6,8,23,42 , 8,23,37 , 6,8,23 & $

Universal Knowledge Solutions s.a.l.


28

  
   'N
'N '%
'%
: &  4C  )< 
B & $  /
I 
<$ ; A$ 5
$ - &  #

.,C$ ( + '( 6

, T
, T  %
 % <
<
:E &  - & ,C$ '(   &  $
B ,C$ ( + '( 6 E   9 +

BE - & W($  $ 

:- &  $ + >E - & P


8 - &  $

BE  /
9 y 
& ; ;9  P(y) ^# o
. # P(x)   >z<x ; ;9  P(z) *# A: o

(=
(= 
 

.E - & * <$  &  W $ >E & $  J6 &  B $
( #" -< ) E  J6 X &  /
9 PC >W  f<b$ * <$ %(8 B S$ J" E1" )d<^
:#
BB  # X

 <$   N = X  


& x1,x2,....,xp  4 >;c<b p A8C $ W * &   & w  4

BX    w(x1,x2,....,xp) 9 >


<$ UA - & w
.(B,W) 8$ J ; )f<b X C @ 9 ; $ 
: C
:$$ (B,W) J" 8$  < $ ((&I &  )< 
B $ I ((&I &  =(   B & $) (&$ & $
.<  ((& ( = (W 7 # 9)  $  j(8mb$  <$

Universal Knowledge Solutions s.a.l.


29

((
 &&- ' 
'  $
$)) (= 8
(= 8  
 
:$$ ;$ f <b $ Bi $$ - & @(& X & $ : 

B0 = B
Bi +1 = W(Bi ) Bi

: C

IN )<
B $ I ((&I &  = ( B0 9 B & $) '(&$
.<  ((&  ($ =(W 7 # 9)  <$

((' 
'  &&- 
 $
$)) (D 
(D   
 
.(B,W) 8$ < X $
:A:  A: X -$:  x   .
& & _#  X )<$
BB S$  x

x = :  _# X 
&  (x1,x2,...,xp) ;c<b p A8C W & $  f<b$ * <$   & w (  o
w(x1,x2,...,xp)
_# (x1,x2,...,xp) *E<b$ w  <$ (:  >X 
& (` 6E$ $6$ ; #$  &  <
$ 
.X  @
& w(x1,x2,...,xp) 

(=
(= 
 
 $'
$'  XX  C
 C
. 4 ( 9 A $
:$$ J" 8$ f<b$ * $  $81 &  A+ $
BA+  @   A ( I  )# ;   :'(&$

; 4( & $ nm mn  $ = A+  


& n m  $  E
@  * A: : $ '(&

.A+     >$

Universal Knowledge Solutions s.a.l.


30

,7N
,7N /
/ ! 
! 
.{(,)} ( I - & @(& 6  , 9 %(8 & $ * $  &  LP $
:LP )<$ $$ J" 8$ %(8$
B $8$  $ - &  #$ & $ :'(&$

: $  &

BLP -$:  uv = LP -$:  v u  A: o


.LP -$:  (u) = LP -$:  u  A: o
: C
.LP -$: (())() (()) () * $  > / $ UA 

Q 
Q  (=
(= ! 
! 
B(B,W) J" 8$ f<b$ E & $ $
: f : E B :f 2  )< 
BB  b ; ;9  f(b) )<

.f(xi) xi $"( f(w(x1,x2,,xp)) )<

: C

.  - & (factorial)  <$ 2  )<

(B,W)=({0}, +1) J" 8$ f<b$  ($ $


factorial(0)=1 :)d<^

:)d<^

factorial(n+1)=(n+1)*factorial(n)

Universal Knowledge Solutions s.a.l.


31

8  Q  $ C Q  

'% :N Y 

:  

B &  % >2 >[ > $8 &  > & 
: 
 .4 'F$ ; <$ 'F$ M$A > ( ; # 9 * : &: > &" 9 (
" ;J$  . F  > "
.4 #$ ( 9 2  &: ;J$ UA ;F 2 ;<$  *"#" % & (&  *Y
.4 & I * <$ ,( >*"#" (   $ *& $ n(  '(# $ UA  ,(
:   !"#
:- & ;
5$ A  +$$ )<

Universal Knowledge Solutions s.a.l.


32

B & $ % 45

B $8$ & $

B%$ [" 2$

. *8


'%

'%
S/ $ '( +E &  & %  E
@ F .((#$ )<$ *A 
<$  ((& 49 - & & $ )f<^

. <    #$ &  > J(  (  _$F$ )


$ 
Z ( &  > 6 `
((&I &  & %  >;F$ ;  - < .((&9  @ 5$    @ $1 4= >  *&  2 ;< (&

.;
 5 
<$  ;
5  . & $ 
& <b$ , I ((# _# ><  4  3,4,5
.5 4 
< $ $ ;#$ M$A .` 6 ' < $ 6 {3,4,5} & $ -$:  3 
<$ 9 ; 

.` %(& 6 ' < $ 6 {3,4,5} & #$ -$: " >8 
<$ 9 ; 

9 5 4 3  5$$ & $  B E


@ F + *& $ $ D B ;F ' $ )#I '@ (& %(8

.D -$:  3 D -$:  " 4 :;  " E& %(8  3 7 8  5$$ & $  D

 
   '%
'%
S$ * S
($ &  9 ; $  E
@ F . 4$ 6 $8$ & $ >
& 9  # " $ & $ 
.@ 9 $8 &   9 3   %4$  o  A$ O8I &  $8 &   '#$ ( - & *$6"
S @(# @
&  # & $ UA4 {0} 9 0 
<$  # $ & $ $8$ & $   8$ + " :P 
.5
$

{0}
0

$ 0 {0}

  
  
'%

'%
:;F 
<$ ,5  # (&   49 &  & ; 
{6,7,5} = {5,6,7} = {7,6,5}
.@ 4 ,$ & $ , 9 ;8( 
<$ + 9 Y#"
  1 & $ 9 ;  '/$ $#$ 
{5,6,7} {5,6,7,8}

Universal Knowledge Solutions s.a.l.


33

 =D%
 =D%
'%

'%
:$$ & $ A8C$
B={2,3,4,5,6,7,8}

A= {3,4,5,6}

.B -$:  A  
& ;  A: B  J6 &   A & $ 9 ; 

- &  #" 6 %(8 M$A + B   9 ' # A & $ 9 ;  B  J6 &  A * A:

:;$

A B
45  J6 &   &  9 :

A A
&  9  J6 &   $8$ & $ :

A
:P 
>A & $ -$:  a 
<$ 9 ; ) a A &  @
&   $ " E&  6$  $ 
5$$ & $ 9 ; ) {a} A $ a A + " _# >789 &  &    $  #" E& 
(A & $  ' # a 
<$ 

Universal Knowledge Solutions s.a.l.


34

'%
'% $
$  =D%
 =D%
'%

'%  %  % - & $ ;


# {a,b} {b} {a}  {a, b} & $  '(  $ J6$ *& $  ((& & F# A:
:        .*&  2 9

a J6$ & $ -$: 

%<

"

b J6$ & $ -$: 

"

%<

{b}

%<

"

{a}

{a, b}

{c} {b} {a} : " # %{ (' a,b,c}  5$$ & $ ;9  ;<$ ,5 %$ 
. {a,c} {b,c} {a,b}

: *  ,'- 9  $$ .8 < & $  


& ; 9 $ ; ($  7
&  2n S$ @   >@
& n  # A &   J6$ *& $ ((&  

Universal Knowledge Solutions s.a.l.


35

$$IZIZ


 
:p *8  &( *8  & 4 F %  *& $ 2 ;<$ ;4$

;F 5  $ 8$ 4Y : C


.p *8  & A B E<$
%#  + ' $ (  ")

A B

J ($
.(*& $ %#
& $ 2 $ ;8( #$ ;F

U <$
A B

'%
'% 

. <$ & $  & $  [    (& B & $ %  B 9 ; 

 < : C
U = {1,2,3,4,5,6,7}
B = {3,4,6}

B & $  u -$: B & $ %

B = {1,2,5,7} _#
U & $  u -$: u & $ %
U = _#

Universal Knowledge Solutions s.a.l.


36

Y %
Y % Q 
Q 
A B P$ 6 B A & $ 2 )<

B A  $ 
<$ &  PC
B

A = {1,2,4,5,7}

: C

B = {2,4,5,7,9,11}

A B = {2,4,5,7}

UA 2   _#


5$ *& $  
&  # " $ *& $ 
$8$ &  $ @   *& $

: C
A = {9,15,25}
B= {1,2,4}
A B = _# 
5 &  B A

 '(  $ 
<$  5$$ & $ PC > A B 6$ P$ 6 >&  [ )<
.@< 4   9 B  9 A
: C

A
B

B = {3,5,7,9}

A = {1,3,5}

A B = {1,3,5,7,9}

'%

'% &'
&'



:   ;F$ A 9 _# >'(&$ UA - & @(& 4 F ` = >  '(& 4< & $ 
& 9 
.  '(& 4< x _# x 
<$ &   >A & $

Universal Knowledge Solutions s.a.l.


37

:   *& $ - & * <$ )d<^ 9  ;F$ A %(8
: <$ & $ u &  B A $
:   A &  $ $ A & $ )d<^ .1
 x A S$  " x _# x 
<$ &   A &  $ $ A & $
U S$
:   B A & $ 2 )d<^ .2
B S$  x A S$  x _# x 
<$ &   B A & $ 2
:   B A & $ [ )d<^ .3
x 9 B S$  x 9 A S$  x _# x 
<$ &   B A & $ [

@ < 4 $ 

Y %
Y % 0
0
((& 9 L5$ .y   4< 
& ((& 9 < & $  9 L5$ B > A & $ A8C$
> x  (B -$:  " 9) 2$ -$:  " $ A 
&
z  (A -$:  " 9) 2$ -$:  " $ B 
& ((& 9 L5$

B
z

x + y + z  A B & $ 
& ((& 9 N

y
x

(x + y ) + ( y + z ) y

;$ - & M$A  


& ((& P g  B & $ 
& ((& P$: ) A & $ 
& ((&  A B 
& ((& 9 9
.& $ 2
:+ S & $ 
& ((& -$:  A$ n(S) 6$ %(8

n( A B ) = n( A ) + n( B ) n( A B )

Universal Knowledge Solutions s.a.l.


38

: C
-$: %4 +E 7 > 6 ` / $ '( # -$: %4 +E 5 %( >*#" -$: +E 10  5$ &  %(
- & (# # -$:  ( '<$ +E$ 9 @  & (# X  #" -$: %( @ $ % +#$ .  <$ '( #
.;I
/ $ #"  ( A$ +E$ A & $ L5$

* <$ #"  ( A$ +E$ B & $ L5$

( A B ) & $ +E ((& & @A: _# 

["
8 +#

n (A B) = n (A ) + n (B) n (A B)
10 = 5 + 7 n (A B)

$$

n (A B) = 2

@ < #E$  ( A$ +E$ ((& 

$$ZZ


  &'
&'  
 
: $$ NJ$ 4  $ $ [ 9 <$ @
8 60 - & 9 9 [E Z
# $   @
8 19

$   @
8 18

%($ '   @


8 50

# $ $   @


8 13

%($ ' $   @


8 11

%($ ' # $   @


8 13

_EF$ *$   O89 9

:    ((#$ *<$ UA %(8


_EF$ *$  9   " A$ O8I ((& 1
 %($ '   A$ O8I ((& 2
.%($ '   " $ # $   A$ O8I ((& -3
A

B
R7
R6

R2
R1
R5

R3
R4
C

:p 8 % %  JI UA - & q$


A # $   A$ O8I &  %Z$

B %($ '   A$ O8I &  %Z$

C $   A$ O8I &  %Z$

Universal Knowledge Solutions s.a.l.


39

&  < >*<$` +# 

A B C 9 %4< ;F (R1) _EF$ *& $  $ $ :


.O89 9 45 $$ _EF$ *$   A$ O8I

(R1) $  F 8$ - & % 13 %((& A B  F # $ %($ '   A$ O8I ((& :
.O89 4 (R2) $  -  O89 9  # (R1) $ 9 ( 9  >(R2)
.O89 < 9  # (R6) $ 
8  # (R4) $ 9 N 9 $ ,5 
.@
8 19  # (R7) (R6) (R2) (R1) $ 9 9 # $   @
8 19 9 -$: *<$  
.
8  # (R7) $ 9 N $$
.O89 3  # (R5) $ @
8 35  # (R3) $ 9 N $ ,5
._EF$ *$  9 , " (# O8 ($ $$ @
8 59 ( C B A  O8I ((& < @A:
.((R3) $ )  %($ '   @
8 35 9 ( 8$ 
.((R6) $) 4  %($ '   " $ # $   A$ O8I ((& 9 ( 8$ 

Universal Knowledge Solutions s.a.l.


40

8  Q  $ C Q  

  [  :( C Y 


:  

;#" > b$ _(#I >;# _(# >(9 _(# > _(# > <$ 
: 
S .4 'F$ ; <$ 'F$ M$A > ( ; # 9 * : &: > &" 9 (
" ;J$  . F  >"
.4 #$ ( 9 2  &: ;J$ UA ;F 2 ;<$  *"#" % & (&  *Y
.*"#" % & *9 '(# $ UA  ,(
:   !"#
:- & ;
5$ A  +$$ )<
;#" % 45

_(#$ % 45

$ _(#I > #$ _(#I >'(I _(#I >  $ _(#I

_(#I *&  - & * <$

Universal Knowledge Solutions s.a.l.


41


  &-  
>1 =>
+  +# O8$ A 2 .   '$ 25 4 ; F ( 4  +   -$: ;8( @
8 9 L5$
. 4 25  ( P<( P &
&: ; # ; >4 9 [ 9 ' ;E8 >4<  $ ($ ((& ( @ ((# 9 2 " $ +#
9 ":
.J 6$ +  @  < @ J & ((<$ A -  _# ((<$ A4$ (
((# ; # 9 9 >;#" % 45 %(8 J &  Y   $ * $ ;J$  *"#$ UA ;F 
'(# $ UA  4( (&  ,9  & ;# $ #$ $

  &-  
>2 =>
S $ NJ$ &   > $ # ($ 4  ' ;  >* '(& ($ #  %  9 L5$

:  <$    UA    . <$  $ # ; (< 4 & ;
# 9
S = {1,2,3,4,5,6}
:;F$ ;  - < . <$   J6 &  9 @F(# &(
E1 = {1,3,5}

: $$ & $ < (( ((& ($ #  ) :_(#$

E 2 = {2,4,6}

: $$ & $ < ( 6 ((& ($ #  ) :_(#$

E = {1,2,3}

: $$ & $ < (4  @ /


9 ((& ($  ) :_(#$

: & $ _(#$ A < .(4   ($  ) _(#$ & _#  9 L5$

.@  @ F(# _(#$ A  '(#  P & ;


#$  9 9 E = {4}
> S<$    P9 9 E = {1.2.3.4.5.6} _(#$ A < (10  /
9 ((& ($  ) _(#$  <$

.@(9 @ F(# _(#$ A  10  /


9 ((& @ J(  ($   9 _#
S .7  S  - & ;
# 9 $  " E = _(#$ A < (7   ($  ) _(#$  <$
.E
@ # @ F(# _(#$ A

Universal Knowledge Solutions s.a.l.


42

EN
'% &'


: S <$   F(# F E L5$


(# X  F E ;
# (& E F _(#$ - & ;
#

F 9 E ;
# (& E F _(#$ - & ;
#

E _(# " (& ( S -$: E _(#$ %) E _(#$ - & ;


#

: C
: $$ _(#I )Z< .%4  ;& 8 %$  2
 ;& &  A8C$
@ & 20  /
9 8$ ;<$ & : E
L 9 8$ ;<$ : F
-F9 8$ ;<$ : G
: $$ _(#I )< ; #$
: E _(#$

.@ & 20   9  9 8$ ;<$ & C Z < A$ _(#$ P9 9 E S$ %$ _(#$ 
: E G _(#$

."-F9 P9 9 20  /
9 ;<$ &" _(#$ P9 9 G 9 E ;
# & Z< A$ _(#$ 
: F G _(#$

."-F9 ,$ L 9 ;<$" _(#$ P9 9 (# X  G F _ (# < A$ _(#$ 

 EN
.  F(# (# X  E
# 9  " F(# 
  . $ - & ;
#$ E 2 _(#$ ]$ - & ;
#$ PC E1 _(#$ )Z< ( <    E
@ F
.(# X   ] - & ;
#$ " PI  F(# E 2 E1 F(#$
. $8$ & $ 4< < (&   E F F(#$   %& ;

Universal Knowledge Solutions s.a.l.


43

 
P(E ) P$ 6 E _(#$ _ (# ;# )d< > J 
<$ 2 P   S &  ;9 

:9 S & $ 


& ((& - & E & $ 
& ((& PC
n (E )
P(E ) =
n (S)
9 /
9 @ #  E 
& ((& = S <$   J6 &  & ' & E _(#$ 9 
. Z<$  
& ((&  
:1 0 $  @# 
# ((&  < _(# _ (# ;# 9 N   
0 P( E ) 1

:;F
: S = {1,2,3,4,5,6} :  $#$ UA  <$    .($ # ;F -$: (<$
E1 = {1,3,5} & $ (( ((& - & ;
#$) _(#$ &  <

n (E1 ) 3 1
= =  ( ((& - & $
# ;#  
n (s )
6 2
E 2 = {1,2} & $ (3  @ /
9 ((& - & ;
#$) _(#$ &  <
n (E 2 ) 2 1
= =
n (S)
6 3

 _(#$ A ;#  

E 3 = {} & $ (8 - & ;


#$) _(#$ &  <
n (E 3 ) 0
= =0
n (S)
6

 _(#$ A ;#  

Universal Knowledge Solutions s.a.l.


44

8  Q  $ C Q  

 :   N  "  :E C Y 


:  

. $ >+$ > <$ ($ >6 E& >  _(#9 >$ ;#" >' _(#9 [ >F(# [ ;#
: 
+#$ 6 E& ,(  $ ;#" +# (&  - & )< _# *"#" %5 ( '(# $ UA  2 
.;#"
:   !"#
:- & ;
5$ A  +$$ )<

Universal Knowledge Solutions s.a.l.


45

[" ;# '(&

'$ _(#I [ '(&

$ ;#"

4J( '(& $ _(#I

6 E&

 <$ ($

+$

 $

Y %P   ' 7


n (E )
  P9 ( E _(# ;# (
n (S)

n (E F) = n (E ) + n (F) n (E F) :9 *& $  ( 

. <$  S _#

n (E F) n (E ) n (F) n (E F)
=
+

:(
n (S)
n (S) n (S)
n (S)

. & $ 
& ((& & n  < _#
n (S) - & ' $ UA  %$

n (E F )
)<$ &(
n (S)

P(E F) = P(E ) + P(F) P(E F ) :$$ F(# [ ;# '(& W  >$$

E F _(#$ ;#

: C
'
  9 9 #  $   9 ;# +# +1 (  52) +< $    +# 9 L5$

E >(#  +#) _(#$ %d $

P >('
 +#) _(#$ %Z$

(E F)  ('
9 #  +#) :_(#$  
P(E F) = P(E ) + P (F) P(E F) :[` ;# '(& +# $$

: P(E F) +#$
>( n (E ) = 26 9) +< $   #  26 ($ 9  >#  +# ;# - & ;( P(E ) 9 
n (E ) 26
: 
P(E ) =
=
n (S) 52

:  >( n (F) = 12 9) +< $   '


12 ($ 9  >'
+# ;# - & ;( P(F) 9 
n (F) 12
P(F) =
=
n (S) 52

:  >( n (E F ) = 6 9) # 


6 ($ 9  # '
+# ;# - & ;( P(E F) 9 
6
P(E F) =
52
 

P EUF

)=

26

6
+

52

32
=

52

Universal Knowledge Solutions s.a.l.


46

8
=

52

13

5  E\   Y %P  


F(#$ $ >$$ .   4< 9 9 >8\ [  (#9 [  2 >F(# 4C  F(# )<
:  
r5
2$ ;#

F(#$ $# [   [" ;#

 ' 7
. E E = S # A$ _(#$ P9 - & E %$ _(#$ > E _(#$ $ &
E E = :@A: > F(#  E E F(#$ $

:  >'$ _(#I [ ;# '(& +# $$ P(S) = 1 9 

P(E E ) = P(E ) + P(E )


1 = P(E ) + P(E )
P(E ) = 1 P(E )
.1  _(#$ ;# g N  _(# % ;# 9 9
;
#$ ;# 9  "  - & ;
#$" _(#$ %  "] - & ;
#$" _(#$   > ( <   5
1
1
1
.@ 9
  ] - &
= 1   - & ;
#$ ;# =
2
2
2

Universal Knowledge Solutions s.a.l.


47

(8   5


: $$ $  $
$#$ UA  <$  9 L5$ .  9 ] $ ;Z C $  ( <  %   L5
:  ( $ *"#$ )
S = {(] ]) > (] )> (  ])> (  )}

: E _(#$ A %Z$ (  ) 9 $   - & ;


#$ ;# +#$ .1
n (E ) 1
P(E ) =
=
n (S) 4
_(#$ - & ;
#$ ;# < ( 9 > F _(#$ A %$  - & -$ I $  
# 9 L5$ .2
5$ -$: O  ( <$  9 < -$ I $   - & $
# : .;
# ( F _(#$ C @ & E
:_# S
S = {(] ) >(  })

P(E / F) M$A$ 6 ;


# ( F L5 E _(#$ ;
# ;# = $$ .3
n (E )
P(E / F) =
n (S)
1
P(E / F ) =
2

(8   ! 


$ ;#" C ;  . <$  O  L" 9 A: 8X _(# _ (# L (& E _(# _ (# ;# /

P(E / F) =

P(E F)
P(F)

: E<$ -<

. F _(#$ ;# F(#$ 2 ;#  $  >2 ( F _(#$ 9 L5 E _(#$ [  ;# :
:;F
$#$ UA  <$  9 L5$ .  9 ] $ ;Z C $  ( <  %   L5
:  ( $ *"#$ )
S = {(] ]) > (] )> (  ])> (  )}

Universal Knowledge Solutions s.a.l.


48

1
:  _(#$ A ;#   .(-$ I $   - & ;
#$) _(#  F _(#$ $
2
  .($   - & ;
#$ -$ I $   - & ;
#$) _(#$  E F _(#$ $
1
P(E F) = :  _(#$ A ;#
4
:  F _(#$ [  L5 E _(#$ [  ;#   >P &
1
1
P(E / F) = 4 =
1 2
2
P(F) =

<% ' 7
P(F) 0 P(E ) 0 _# F(# F E L5

P(E | F) =

P(E F)
P(F)

$ ;#" )< +#  


P(F E )
P(F | E ) =
P(E )

P(E F) = P (F E ) $$ E F = F E = 2 $  ( $


8$ +# $

: $$ '(&$     N

P(E F) = P (F) P(E | F)


P(E F) = P (E ) P(F | E )

:;F

3
2
 # )

* $$ 
5
5
. 6 ` / $ ,( $ - & 8 2 9 ;#  >J & ; +E$

(#9 8 ;#  . 6 ` / $ ( * $$  25% 9 % < >+E$ 

E :( $ 8) _(# 

. F :( 6 ` / $ ,() _(# 

P ( E F )  + $ ;#"

:*<$ 

P(E F) = P(E ) P(F | E )


2
= 0.4
5
P(E F) = 0.4 0.25 = 0.10
P(E | F) = 0.25, P(E ) =

Universal Knowledge Solutions s.a.l.


49

% (< 1 4$# 9 _# F(# F E L5


: $$ '(&$  N 9  >2 $  ( $
8$ - & $ ;#" )< - & ^(&
:F(#$ 2 ;#
.; I [   F$ _(# $ $ ;#" + ; I _(#$ ;#  

.F$ [   ; I _(# $ $ ;#" + F$ _(#$ ;#  

 E\   <% ' 7


:  8X -< .8\ ;
# - & F " (#9 ;
#  A: E 49 F(# & ; 
P(E | F ) = P(E )

P(F | E ) = P(F )

:  F(# F E  s;  ;#  D


 $ _(#t$ $ ($ '(& = $$

P(E F) = P(E ) P(F)


:;F
9 ;# 0.20   %#(6 ;
# ;# 0.10  N F^ 9 ;#   (  F$   %9  (& %  
l E ( %#(6 ;
#) (N F^ 9) F(#$ ; .0.82   %#6 ;
# 9 N F^
: A:  (Z(# 9  & + .( %#(6 ;
#) _(#  T 9 (N F^ 9) _(#  S L5$
P(S | T ) = P(S)

P(T | S) = P(T )

9 % <

P(S T ) = 0.82 , P(T ) = 0.80 , P(S) = 0.10


P(S T ) ((# [" '(& %(8

P(S T ) = P(S) + P(T ) P(S T ) P(S T ) = 0.08


P(S T ) = P(S) P(T | S) 0.08 = 0.01 P(T / s ) P(T / s ) = 0.8 = P(T)
.E T S F(#$ $$ P(S | T ) = P(S) 9   $ ,5
.@ (  $ @  P 9 P % ' $ u,u(#
j $ 2  " _(#I ;E :P 

Universal Knowledge Solutions s.a.l.


50

D  7:'
& 8( PC @  & J$  O8$ +
 9 ;# *&9 O8I  & - & *9 $ *($ 9 L5$
+
S PS9 @ & @  J & 8( O8$   9 ;# <  & + _# $ '(J5$ P9 L5$ .@   J

P(E | F) % <  A: P(F | E ) < $  ; >8X -< . J$ 
: F E F(#$ $ PC ;  A:.6 E&  &( E& %(8  A :
P(F) P(E | F)
P(F / E ) =
P(F) P(E | F) + P(F) P(E | F)
F  
F 

: C
(& _(# [  ;# 9 0.1  W` 8 - & ;& V8 9 ;#   >'((# 6 ' ;9  P9 L5$
@  & @ J8 ;<$   9 ;#  .0.2  C8 M   " (& _(# [  ;# 9 0.3  C8$ A ;
#
.2 ( @F(# 9
($ $C$ *< 
(;<$ C89) _(#$  F L5

(_(# [  ) :_(#$  E L5

: $C$ *< +# ($

:6 E&  

P(F) = 0.1
P(E | F) = 0.3
P(E | F) = 0.2
P(F) P(E | F)

P(F) P(E | F) + P(F) P(E | F)


(0.1)(0.3)
P(F | E ) =
= 0.143
(0.1)(0.3) + (0.9)(0.2)
P(F | E ) =

D  7:'  
:  >-F -F 4<  ' _(#9 F1 , F2 ,......Fn L5

P(Fi | E ) =

P(Fi ) P(E | Fi )
P(F1 ) P(E | F1 ) + ..... + P(Fn ) P(E | Fn )

Universal Knowledge Solutions s.a.l.


51

(  <%


lM$A$ 4 %  9  $ $ ((&   >+ -$: @   - & + 5 + (  L5
; I + $ *8 ,8 ($ M$A$ + 5  ; I +$ 8 9 ( $  

(+$ (#9 @  8 I) *8 4 ($ -  F$ +$ ;9 

A *8 _EF ($ -  _$F$ +$ ;9 

(1  2  3  4  5  $# ) + ; 8  ((& ( ;


#  P P$ $ ((&  

P = 5 4 3 2 1 = 120
5! 6$ $#$ UA  P$ 6  <$ ($ ($ A 

:    & n U n! P$ 6 <  ((& n _# n ((< $  <$ ($ %& ; )Z<
n!= n (n 1) (n 2) ..... 3 2 1
UA  @
& n  # &  
& + 4  $ $ ((& &  <$ ($ Z <
. & $ ;(  $

: C
: {1,2,3} & $ 
& +$  6 ( 

3! = 6
.(3,2,1) > (3,1,2) > (2,3,1) > (2,1,3) > (1,3,2) > (1,2,3)

? 
+ FEF 2 $ $ $ ((& >)$ - & 8$ +$  + FEF 2 +1 9 L5$ +$ ;F -$: (<$
l)$ - &
:  $ ((& 9 9 ._$F $ 3 F $ 4 >; I + $ *"# 5 ($   $#$ UA 
5 4 3 = 60

n  # &   @


& 8" $ ;( $ ((& PC r n _# Pnr +$ %& ; )Z<

:;$ - & +$ ((& -<b .@


&

Pnr =

n!
(n r )!

Universal Knowledge Solutions s.a.l.


52

:;F
+ FEF 2 $ $ $ ((& >)$ - & 8$ +$  + FEF 2 +1 9 L5$ +$ ;F -$: (<$
l)$ - &
:N P r = 3 n = 5 :($
P53 =

5!
5 4 3 2 1
=
= 60
(5 3)!
2 1


lA4$ $ *"#" ((&  .(
I (#9 -$: 8$ +$  + FEF (: ( 9 L5$ >+$ ;F -$: (<$
S8 9 < A4 % + ;$ 6 A: $ ."
@ # 60 9 @  U(   -$ I  $ <$ `   (
.%4 1  +$ + I $#  D#
1 A 2,1,3 +$ 8 V " 1,2,3 +$
6S  $ 
<$ + '&  ( 
& n  &   @
& r 8" $ ((& 
 r n 
& n  
& r S$  $ ((& C ;  . C nr 4$
n!
C rn =
(n r )!r!

 " #$% &'


.(8 >6 >5
>#)   * 2 9 - &  # ,   +# ( 9 L5$
.@< $  # ;#   8" $ ((&  .1
. F '  # %F '  # ;#   8" $ ((&  .2
  " +$ @ < $ +# 9 _# (# >5
) @ J (5
>#) +#$   -$ I $#$ 

C 42  $  $ ((&   $$ .@ 4


C 42 =

4!

(4 2)!2!

=6

V " F$ '$  5


-$ I '$  # ' +# 9 9 @ 4 +#$ +   F$ $#$ 

P42 +$  $ ((&   $$ (# >5


) +#$
P42 =

4!
= 12
(4 2)!

Universal Knowledge Solutions s.a.l.


53

8  Q  $ C Q  

  (5
 :Q Y 

:  

>)    > < $ $ >;#" [6  >J <$ ; #$ > JF$ +$ >JF$ ;#" >  >+
.;"  5
 6  [< > Yb$ ;"  5

: 
- & )Z< %Z F *"#" +#   $ +$ %(8 5 - & )< _# *"#" ( >'(# $ UA  2 
.* $ L< )    J <$ ; #$ ,(  JF$ +$ % 45
:   !"#
:- & ;
5$ A  +$$ )<
 $ +$ - & * 

J <$ ; #$ % 45

)  ;E

46  [< ;"  5




Universal Knowledge Solutions s.a.l.


54

? 
?  
  
   
  ? 
? 
8X +$ >"
@ 9 @6&  $ +E$ (#9 8 Z($ UA ( >% > >%$ :+E _EF -  d( 7($
. ($  9 2 )6< _$F$ 9 .@ F @ 6&  $
. I 2 )6< %$ - & F )6< % - & ,; 9 )6<  - & 8 2 9 ;#  "
@ 9 +#$

FEF  5$ &   >(%$ >% >) FEF$ 9 >


& FEF 8 %9 # $C$ UA  
.@ 4 '8b$ 
<$ +   _# >@ 9 
&
P&  ( A$ _(#$ > P33 +$  ( <$  
& ((& 9 ) 8E$ Z $ $ ((&   
:+ $ ;#"   +$ UA  (# 8 
1
1
P(E ) =
=
3
6
P
3

> I 2 )6<  - & F )6< %$ - & ,; 9 )6< % - & 8 2 9 ;#  \ +#$

 I 2 )6< %$ - & F )6< % - & ,; 9 )6<  - & 9
&   (%$ ,% ,) FEF$ 9 >( ,%$ ,% ) FEF$ 8 %9 # $C$ UA  
.@ 4 '8b$ 
<$ +   _# >@9 
& FEF  5$
P&  ( A$ _(#$ P33 +$  ( <$  
& ((& 9 ) 8E$ Z $ $ ((&   
:9 FEF$ [ ;# +# $#$ UA  .FEF$ 7(#: 8 

P(E F) = P(E ) + P(F)


1 1 2
= + =
6 6 6
.*"#" +# - & (& +$ 9 N  $  $ 
:P 
E F = 9 (5 F E F(#$ 9 Y#" .1

.2$  < 9 S$ % 45   +$  < ;#"  S$ % 45   m J( (5$  P9 Y#" .2

Universal Knowledge Solutions s.a.l.


55

 5
  5
  
   P
 ?  P
 ?
 ,8 - & +&E$ ;
# 9 ;#  ,+&" ;$  9 ,8 26  % >  52  )$$ +< $  +<$9 (#9
l"  "  9

 > +$ %4 " _# >  52   9 ,8 - & +&E$ ;
# 9 4  A$ $ ((& :
: C 552  $
!52
= 2598960
!5!47

= C 552

 (   13 (  P9 @ &)    9 ,8 - & +&E$ ;


# 9 4  $ $ ((& :
 $

5
C13

!13
= 1287
!5!8

5
C13
=

&((    $  9    9 ,8 8

  " :  + $ ;#


&((  4   I    9 ,8 8
:9

1287
= 0.00495
2598960

5
C13

C 552

= ) P(E

 .*"#" +# - & (&  $ 9 N  $  $

(= C
  (= C
   = C
 = C ? %
? %
  ;# & _# $ * F ( <   ;F >* 'Z(& $ ,5  *"#" ;J  F$
. $ *$  P 
: ;# )( - & *  6   9 >* 7 ] - & ;
#$
$ S +S +S$ S [ S$ AS Z E
 @  NJ$  ;F @ # NJ$ L< ;F +$ UA ;F
). JF$ +$ 9 (Bernolli

Universal Knowledge Solutions s.a.l.


56

: $$ OJ
8$ JF$ +$ 6
.* 'Z(& 45 $  1
.";" "g" :NJ$  &  M 2
.  ;  P5 ;5$ 9 g$ ;# -   '$ +$ 3

 = C
 = C ? %
? % (5
(5  
  ? 
? 
.,8$ *$  (1) %$ - & ;
#$ ;# +# ; #$ $ * 5 ($ # %c $
;
#$ @# (1) - & ;
#$ ;F * 5 $  % _# JF$ $   $C$ UA #

.  ,8$ *$ 9  E


@  8X % 9 - &
:9  ;  "1" - & ;
#$ *"# (  + $ ;#"  

1
P(E ) = P(1) P(1) P(1) P(1) P(1) =
6

.,8$ *$  * 2 9  "1" - & ;


#$ ;# (: \ ; #$ $ * 5 ($ # \ %c $
:;$ - & ;#" A  +1 ( -$ I  $

P(E ) = P(1) P(1) P(1) P(1) P(not1)


A: I M$A > C 54 8  
& 2 9 8    5 8  ,8 _(# ( +$ A $

: $$ *"#" ($   1 S $ / ((& - & ;


# $ f S >"1" - & ;
# $ T S 6
f T T T T
T f T T T
T T f T T
T T T f T
T T T T f
:  + $ ;#" @A:

P(F) = P(1) P(1) P(1) P(1) P(not1) C 54


4

1 5
P(F) = 5 = 0.0032
6 6

Universal Knowledge Solutions s.a.l.


57

 = C
 = C ? %
? %  
 
> >
.1 P  $ UA  ;5$ ;#   >. JF .  *" # 7(#:  g$ ;# ;F P L5

( )

:  > P E nx P$ >; n x $$ g x _ (# ;#   $ UA  $ # n S  A: 9

P(E nx ) = C nx P x (1 P) n x

:;F
* _EF >2 % - & ;
#$ ;#  >($  (&
:- & ;
# n = 5, x = 3 _#  $ E<$ %(8
3

1 5
P E 35 = C 35 = 0.0032
6 6

( )

(=8
(=8 

OS#5 9 (S< >)S %ES" & ; $ 9 >  #  12  @ 5$ @( *  *$ 7(#: : L5$
.'  * _EF (  >*$
$ ' $ *$ ((<$ x S 6$ >*$ UA O#5 * 2 9  5$ & A89 ( ; $ A 9 L5$
.J <$ ; #$ :*" #$  [ $ A &( 0,1,2,3 %$ x ; #$ A8C 9  . <$  (
.    ; ;  @# @((& < 2  P9 - & J <$ ; #$ )d<
:;F
<$   '  * 3 ($ C @ & * 4  &  '   - &  F<$ %(& ;# +# %$
. P(x = 0 )  + $ ;#" x=0   $#$ UA  .  12  )$$
.9    * 4 '  * _EF  '   0 8 P(x = 0 ) ;#" <

P (x = 0 ) =

C 30 C 94
4
C12

14
55

Universal Knowledge Solutions s.a.l.


58

<$   '  * 3 ($ C @  & * 4  &  '   - &  F<$ ;#   > $ ,5
:   12  )$$

P(x = 1) =

C13 C 39
4
C12

28
55

  '  * 3 ($ C @  & * 4  &     - &  F<$ ;#   > $ ,5
:   12  )$$ <$
P (x = 2 ) =

12
55

 '  * 3 ($ C @ & * 4  &  '  * _EF - &  F<$ ;#   > $ ,5
:   12  )$$ <$ 

P(x = 3) =

1
55
C 0n = 1 0!= 1 :P 

 
  YD
YD
:    $ $  ( $ NJ$ 2 
x
P (x )

0
14
55

1
28
55

2
12
55

3
1
55

.;#" [Z6  ; ( :; $ ;#" 4  #$ J <$ ; #$ %  2 A$ ; ($ -&(b

+  @( )5 ; ) 8 9) (# $ >J <$ ; #$ %$ $ >*"#" 2 ;
#   9 +

.(#I L<   $ NJ +


 F$ $ x  -$ I $ 4    $ W 6I  &  ; - & ;#" [6   @ 9 
:;F . P(x )

14 28 12 1
, 3,
0, , 1, , 2,
55 55 `55 55

Universal Knowledge Solutions s.a.l.


59

(=8
(=8 
 7
7  
 
x1 , x 2 ,....x n  n A8C 9  A$ x J <$ ; #$ L5$
P1 , P2 ,.....Pn  %$ UA - & ;
#$ *"# 9 L5

_# E(x ) $ 4C J <$ ; # $ < $ $ )Z<
E(x ) = x1p1 + x 2 p 2 + ..... + x n p n

:;F
: $#$ UA  x J <$ ; # $ < $ $ : .*$ & ;F -$: (<$
14
28
12
1
E (x ) = 0 + 1
+ 2 + 3
=1
55
55
55
55
  <9 A: . <$ 

1
9 . 5$ '(#  %E" ) $ )Y $ ( >* 4  &  >@ P9 9
4
. 5$ * 3 ($  12 ;
9  I  A 9 ( > $

 = C
 = C ? %
? % (5
(5 (=8
(=8 
 7
7  
 
: JF$ + $ $   ;  
NJ  2 $ ((<$ ($   E(x ) J <$ ; # $ < $ $   JF$ +$ ;9 
E(x ) = nP  ;  g$ ;# g$

:;F
9 L5$ ._`  % 1993/1992 %<$  F$ '(4$  #$  79% =  <$ *J4$ *J
#: -$: (
.# 5 @ J & 8
.O89 ,8  5$$ <$ UA  _` ((& ;# [6  +# .1
.( <$  _` ((&) J <$ ; # $ < $ $ +# .2
9) 0.21  ;5$ ;# 79% g$ ;# 4   JF  $C 49 ( $C$ UA  5$ <9 A:
(1-0.79
: JF$ + $ $ @   U(  +# ($   ._` ((<$ ;F$ J <$ ; #$ x L5

P(x ) = C nx P x (1 P )n x
P(x = o ) = C 50 (0.79 )o (0.21)5 0.0004

Universal Knowledge Solutions s.a.l.


60

E
@ F

x
P (x )

:$$ [6 $ ; (  4< $ x S$ 5 8$ %$ *"# ( $ ,5
0
1
2
3
4
5
0.0004
0.0077
0.0578
0.2174
0.409.
0.3077
:( J <$ ; # $ < $ $
8$ E<$ %(8

E(x ) = 0 (0.0004) + 1 (0.007) + 2 (0.0578) + 3(0.2174) + 4 (0.4090) + 5(0.3077) = 3.95


.O89 5  &  @ F: O8I  3.95   @  $$
:- & ;
# E(x ) = nP   ( $  < $ '(&$ +#  A$ P = 0.79 n = 5 ;F$  ($ $
. <   3.95

! 
!  

$ $#$   8X ; 9  4  $ $  $#$ $   < _# + '(< %  9 L5$
.)    +$  [ $ A &( .  $ *"#$  < "  $#$ $#$  <
;"  5
  &(  5
 %(8 >789 $# -$: $#  ;" *"# ;F )  ;E ;F$
: C
.(2) (1) 6 $ 4$ 6$ >+F$ 2 $  >'/
'( 
+F $ >(1) $   $ '$  +F$ 7 (  > 6 '( & ;# 9 >*9 $  $ *( *
+F $ (2) $   $ '$  +F$ 7 (   6 '( & ;# 9 >0.8  $ ,5  789
.0,35  $ ,5  789
 6 +A ;#   >+F$ 4 7 $  $ '$   < $ (#9 -$:  6$ +A ;# 9 L5
  $ '$  7 (   6 +A ;# 1 0.8 = 0.2  (2) -$: >(1)   $ '$  7 ( 
1 0.35 = 0.65  (1) -$: >(2)

Universal Knowledge Solutions s.a.l.


61

:$$ 8$ ; ($  NJ$ 2 


0.2
0.8
1

0.65

0.35

$#$ 2 $

$$ 2 $

1
2
1
0.8
0.2
2
0.35
0.65
$# -$: $#  ;" ;# <$ (&  ;"  5
 4  5
 ; - &  $ ; ($  
.789
(1)
( 2)
0.2 (1)
0.8

A =
0.65 (2)
0.35
.A (1)  $#$ $#$ 9 @  & (1) $#$ -$: ;" ;# < a11 = 0.8 
<$ 9 < A

  P
  P 50 
50  
  $D
$D Y
Y 8
8
.@ &< >@( & n  @(# @  #  5
 ; &(

V P = V # A$ V [<$ PC >)    ;F P $  5


 O8$ 6 $ [< )<

. Y P   9 
. $"  5
$ *"#$ 7($ ;  ;#" 6 $ [< ;F

: C

 ;"  5
 _# , E$  ;F   5
 $ 6 $ [< ( $
0.8 0.2

A =
0.35 0.65
V A = V ($ V 6 $ [< )< +#

Universal Knowledge Solutions s.a.l.


62

S$ 6$ ( &  (#   )$ V [<$ 9 (* 5


$ + OJ
8 +# ) Y#E 

:($   V = (x , y ) :6$ V

(x, y )

0.8 0.2
= (x, y )
0.35 0.65
(0.8x + 0.35y,0.2x + 0.65y) = (x, y )
:$ 4 $(<  - & ;
#

: $ UA ;# <

V = (0.64,0.36 ) 9 9

2 $ ;F V = (0.64,0.36 ) = > $"  5


$ *"#$ 7($ ;  ;#" ;F 6 $ [< 9 

0.8x + 0.35 y = x
0.2 x + 0.65 y = y

x = 0.64
y = 0.36

0.64   (1) $ -$: +A$ ;#   , E$  -$: *6$  > n >@(   ((& ;9  :$$
.0.36  (2) F$ $ -$: +A$ ;#

Universal Knowledge Solutions s.a.l.


63

8' ( C 8' 9  


  #  "  !   :
   %8N
:  

> 8$ ,9$ ( >,9$ ( >  >+ib  >Pf  1  >Pf   >,  >2  >'(& >,9 >
. 1 ' >   >'( > >  # >   >  8($ ,9$ (
: 
.4& 9 * $  < 9 )< %5 - & %$ A  )<
:   !"#
:- & ;
5$ A  +$$ )<
BP $ 1  $ P $  $ )<

B+ib$  $  $  $ )<

B ,  *( )<

B $ cFb$ * 5


$

B*($ $ * #$ ;E$

.I * /$

Universal Knowledge Solutions s.a.l.


64

]^%  A $  ! 


: 5$ G = (V, E, ) FEF PC (P) Pf  1  )d<^
.(m&
b 9 ,   &( $
<$  ( | V |= n _#) V 4 & 

.[E9  &( $


<$  ( | E |= m _#) E 4 & 

$ (<$  (u(e),v(e))=(a, b) +mb 1 W 6 e E 2  ;   ; 2  U &( : E P2 (V) 2 

.e 2 $ )9 > &( $ V -$: 


Bb a (<$ ;
 e 2 $ 9 (& ;  o
.  b a (<$ 9 ;   o

: 5$ G = (V, E, ) FEF PC (4) Pf  1  )d<^
.(m&
b 9 ,   &( $
<$  V 4 & 

.[E9  &( $


<$  E 4 & 

 (a, b) +mb 1 W 6 e 2  ;   ; 2  U &( >V - & mb $ *JF$ &  -$: E  2 

.e 2 $ )9 > &( $ V -$:  $ (<$


Bb a (<$ ;
 e 2 $ 9 (& ;  o
.  b a (<$ 9 ;   o

9 (5 ]^%  A $   C


.2 $   $ $     # 2  ; ;F  $ (&  '(& ; 2  $    

V = {v1, v 2 , v3 , v4 }
E = {e1 ,e 2 , e3 , e4 ,e5 , e6 , e7 }

Universal Knowledge Solutions s.a.l.


65

v2
e5
v3
e2

e4
e3

e1
v1

u(e)
v(e)

e6
e7
v4

e1

e2

e3

e4

e5

e6

e7

v1
v2

v1
v2

v2
v4

v2
v4

v2
v3

v3
v4

v3
v4

.2 $   $ $     # 2  ; ;F  $ (&  '(& ; 2  $    

]% $ 
: 5$ G = (V, E, ) FEF PC (P) Pf   )d<^
.(m&
b 9 ,   &( $
<$  ( | V |= n _#) V 4 & 

.%4  &( $


<$  ( | E |= m _#) E 4 & 

V -$:  $ (<$  (u(e),v(e)) +mb W 6 e E %4 ;   ; 2  U &( : E V V 2 

.e %4$ )9 > &( $


)$  b >%4 $ J( $ )$  a 9 ;  >v(e)=b '(<$ -$: u(e)=a '(<$  ( e %4$  ;# 

.%4 $ J4$

: 5$ G = (V, E, ) FEF PC (P) Pf   )d<^


.(m&
b 9 ,   &( $
<$  V 4 & 

.%4  &( $


<$  E 4 & 

> &( $ V -$:  $ (<$  (u(e),v(e)) +mb W 6 E  %4 ;   ; 2  U &( 2 

.e %4$ )9
)$  b >%4 $ J( $ )$  a 9 ;  >v(e)=b '(<$ -$: u(e)=a '(<$  ( e %4$  ;# 
B%4 $ J4$

Universal Knowledge Solutions s.a.l.


66

9 (5 ]^% $   C


. 4$  -# ( $   ( P   # %4 ; ;F  $ (&  '(& ; 2  $    

V = {v1, v 2 , v3 , v4 }
E = {e1 ,e 2 , e3 , e4 ,e5 , e6 , e7 }
v2
e5
e1

v3
e4

e6

e2
e3

v1

e7
v4

u(e)
v(e)

e1

e2

e3

e4

e5

e6

e7

v1
v2

v1
v2

v2
v4

v4
v2

v2
v3

v4
v3

v3
v4

. 4$  -# ( $   ( P   # %4 ; ;F  $ (&  '(& ; 2  $    

 (MN) Y: N



.  # >  U   (%4) 2  ; &(

. 6  @< 9 *4$ ,5 M $ 2 I &(

Universal Knowledge Solutions s.a.l.


67

. 6  @49 >*4$ ,5 >*( $ ,5 4$ $ %4I &(

.6  4 (,<$ F$ 4  ; I ( _#) <$ 4$  <b"

.  # >  U   (%4) 2  ; &(


. 6  @< 9 *4$ ,5 M $ 2 I &(
. 6  @49 >*4$ ,5 >*( $ ,5 4$ $ %4I &(
.6  4 (,<$ F$ 4  ; I ( _#) <$ 4$  <b"

F
   
 
.(, $ W 6 ,5 4$ [E9) '$ [EI  * #$  ;
. 8  A:   P9  & ; 
* $ 2$ $ # 4< $ NJ$ %Y<   >M$A 2 >4( $ *"#$  $1   * $  
.* #$ '$ [EI (  g$ : - & (C $ $ * $ & #I L<  %  $ . 4$
A$ (+$ 1 9 +$ ) , $ 9 (<$ W 6 ((#  & , $ 9  (  $  $  2  ; ((# 
.P4 <
W 69 &  & E , $ &  & V d< _# G = (V , E ) JF$ @  $#$ UA  2 $ ;F D

.(P4 ;F 2  ;) [EI *4

Universal Knowledge Solutions s.a.l.


68

: C

  ]_%  A $ 

  ]_% $ 

%
:+  G L5
.v ,9$  $ ([EI) %4I ((& 4C > deg (v ) 4$ 6 $ v ('(<$ 9) ,# % )<

:R:

.,9$ ( +# (& 2 S %  # ; = >* # '(& 9  # ,9 $  A:
:PZ  +  G L5
.v ,9$ & '(
$ %4I ((& 4C > deg + (v ) 4$ 6 >v  %  ,# % )<

.v ,9$ (& 4 $ %4I ((& 4C > deg (v ) 4$ 6 >v    ,# % )<

:R:

.$  Y: # ' !  W   W %D W' $  9# (5 ,#


% Y% $

Universal Knowledge Solutions s.a.l.


69

]%  A   $  C
50
:* 5
$  &  P  1   9 ;F 
 % 50
: $ ,   5$ 9 4(&9  
$  F$ 9$  ;
 2  M  A: ( &  2 & $  5
$ 8  1 $ 2

.( <$
$  F$ 9$  ;
 2  M  %$ A: ( &  2 & $  5
$ 8  0 $ 2
.( <$
: C

0 50
:[EI & 4(&9 d<^ #  > $ ,   5$ 9  
.2 $   ,9$  A: (2 ) ( & (,9)  2 & $  5
$ 8  1 $ 2

.2 $  1 ,9$  A: (2 ) ( & (,9)  2 $  5
$ 8  0 $ 2
: C

Universal Knowledge Solutions s.a.l.


70

]%   $  C 50


:* 5
$  &  P    9 ;F 
 % 50
: $ ,   5$ 9 4(&9  
-$: $ ;mFj b $ ,9$  ;
 %4 M  A: ( &  2 & $  5
$ 8  1 $ 2

.( <$ ;iFj b $ ,9$


.78I *"#$   5
$ 8  0 $ 2
: C

0 50
:%4I & 4(&9 d<^ #  > $ ,   5$ 9  
.,9$ -$: ( %4$  A: (%4) ( & (,9)  2 & $  5
$ 8  1 $ 2

.,9$  W8 %4$  A: (%4) ( & (,9)  2 & $  5
$ 8  -1 $ 2

.78I *"#$  0 $ 2

: C

Universal Knowledge Solutions s.a.l.


71

$  CGF 
50 0
 
.   5
  >FI - &  # ,9 9 (& P$   9  Pf  1 +ib  ;F  .1
: C

0
1
B=
0

1
0
1
1

0
1
0
1

0
1
1

.;
 5
  >* #  ( (Pf  1 9 Pf ) +ib  ;F  .2
: C

1 0 0 0 0
1 0 1 1 1

A=
0 1 1 0 0

0 1 0 1 0

.@  ( 'Y >Pf  1  $  $  5


   .3
: C

.   5
  >FI - &  # ,9 9 (& P$   9  Pf  1 +ib  ;F 

.1

.;
 5
  >* #  ( (Pf  1 9 Pf ) +ib  ;F 

.2

.@  ( 'Y >Pf  1  $  $  5


  

.3

Universal Knowledge Solutions s.a.l.


72

$  <D%# 3 =D%


 
: G = (V , E ) 9 L5

& E (W

B E E > G = (V , E )  A: G  $  6 G 9 ; 

 < W V   _# > G = (W , E (W ) )  A: W U($  G  J6  G 9 ; 

.W  44   $ [EI & 


. G S$ J6$ * $ (#9  6 G  A: G  J6   6 G 9 ; 

: C

G  $

 6 G  $

J6$ G  $

A$ G  $

G  $

G  $ 

 6 ;
J6$ G  $
G  $ 

: G = (V , E ) 9 L5

& E (W

B E E > G = (V , E )  A: G  $  6 G 9 ; 

 < W V   _# > G = (W , E (W ) )  A: W U($  G  J6  G 9 ; 

.W  44   $ [EI & 


. G S$ J6$ * $ (#9  6 G  A: G  J6   6 G 9 ; 

Universal Knowledge Solutions s.a.l.


73


 : :M^%  A
 
>
0 !   >

:'(< 4 '(< 9(  >[EI (<$   $ 4C  )d<^

C = ( u0 , f1 , u1 , f 2 , u2 ,......, uk 1 , f k , uk )
where (ui V , i ) and ( f i E , i ) and ( f i = {ui 1 , ui }, i )
.4$ ,5 P$ @ <  ;I - &  #   4C  )d<^

B M     '(# '@ (&  # $  $ &(

. '(# '$ 4 '(& *4Y A:  #  #$ 9  $  

. '(# '$ 4 2  ; 4Y A:    #$ 9  $  

.4&E9 ((<  #$ 9  $  )d<^

.   # 9 - &  #  %$ A:


 $ K PC P  1  & ; 

. A PC * #$  $8$  $ & ; 

  :M%


 
>
0 !   >
:,9 4 ,9 9(  >%4I , $   $ PC   )d<^

C = ( u0 , f1 , u1 , f 2 , u2 ,......, uk 1 , f k , uk )
where (ui V , i ) and ( f i E , i ) and ( f i = {ui 1 , ui }, i )
.( 4 P$ @(# @4 ;I - &  #  4C  )d<^

B(M    @(# @9  # A$ $ &(

Universal Knowledge Solutions s.a.l.


74

. '(# '$ P ,9 ; 4Y A: (# ('($) $  

. '(# '$ P %4 ; 4Y A:   ('($) $  

.P49 ((< ('($) $  )d<^

.  '( 9 - &  #  %$ A:


 $ K PC Pf   & ; 

 7:'
:$$ P $ 1 +ib$  $ ($ $

:  C   E& V - & )d<^

G = (V, E, )

. v j vi  (;I - & 4( )   (  vi C v j


. (< >'Y > <: : E& C  

.G  $  
  $ E<$ & $ $ ) 5
((#

.   '(# <  )$C  P9  & ; 

: C
:   *  $$ ;$  'Y$ C3 C2 C1 * $ )$

Universal Knowledge Solutions s.a.l.


75

.PZ  1 +ib  ($ $

 (;I - & 4( )   (  ;#  (<$  W 6 - & f<b   C   E&  $ (& W 69 - & )d<^

.W 6$ (&
. (< >'Y > <: 4I  E&  $ E<$  

. $  
  $ E<$ & $ $ ) 5
((#

.   '(# <  )$C  $  A:  A:  P9  & ; 

9  7:'


:$$ Pf $ +ib$  $ ($ $

:  CF     E& V - & )d<^

G = (V, E, )

 (  > v j vi  (;I - & 4( )  ( 


. vi v j  (;I - & 4( )

vi CF v j

. (< >'Y > <: : E& CF  

.G  $    7
  $ E<$ & $ $ ) 5
((#

.     '(# <  )$C  97 P9  & ; 

.PZ  +ib  ($ $

4( )  (  ;#  , $  W 6 - & f<b   FC     E&  $ ,  W 69 - & )d<^

.; I -$: F$  8X  F$ -$: ; I ,9$&  (;I - &


. (< >'Y > <: 4I  E&  $ E<$  

Universal Knowledge Solutions s.a.l.


76

. $    7
  $ E<$ & $ $ ) 5
((#

. $   '(# <  )$C  $  A:  A:  97 P9  & ; 

]^% ?` $  (5   


    D
k ((& C = {C1 ,..., Ck }  $  $ * $ ((# ( > G = (V, E, ) :$$ Pf $ +ib$  $ ($ $
:G  $ 
: D 
Input: G = (V, E, )

k=0;
W=V;
While (W )
{
Get v W ;
Sc v = {v} ; // Set of v Successor
Prv = {v} ; // Set of v Predecessor
For each x direct or indirect successor of v
Sc v = Sc v {x} ;
For each y direct or indirect predecessor of v
Prv = Prv {y} ;
Ck = Sc v Prv ;
k=k+1;
W = W Ck
}
Result: k, C = {C1 ,..., Ck }

.G  $  k ((&  $  $ * $ ((# ( >Pf  +ib  ($ $

Universal Knowledge Solutions s.a.l.


77


 /  %8N
. A * #  ( Pf  1  &(

.%8   Pf  1  &(

.' > 1   $     ; )d<b _# >  * * /$ I )d<^

. A * #  ( Pf  1  &(


.%8   Pf  1  &(
.' > 1   $     ; )d<b _# >  * * /$ I )d<^

$  
:1 $ 
A [E9 ((& % .9 >3 >2 >2 >0 : U(& *(    ($ 9 L5$
l $
:;
e #$
.8=2/16 :  P&E9 ((&   A$ >16=9+3+2+2+0 : $ (  

Universal Knowledge Solutions s.a.l.


78

:2 $ 
 E<$ UA   _# (
E& )d<$ >@
8 15  &  ($ $
.(x (
y = y (
x  A:) 'Y   
8
l(
9 3  $ & $  O8 ;$   9  ;
:;
e #$
5 .((
   2  ;) [EC (
$ *E& (< O8I  F A:
P
 [E9 3 P($ 9 < A4 (
9 3 & $  O8 ;$  ;#
((&  45=3*15  $ *( [    $ .3  '(& ; ( C
((& )<   PI  6 ((&   $ ( 9   )$8  (
.[EI
:3 $ 
:$$  $ ($ $
E2

E1
V1

E5

E3
V2

V3

V4

E4

lV4 V1   $ ;E$ ((& %

lV4 V1  ;E$ ((& %

3
12

Universal Knowledge Solutions s.a.l.


79

:;
e #$

:4 $ 
:$$  $
8$  $  5
 ( 9
E1
E3
V3

V1

E2

V2

:;
e #$

0 1 1

1 0 0
0 0 0

:5 $ 
:    > $$  $  5
 M  A$  $ ;

0 1 1

1 1 0
1 0 0

:;
e #$
.%<

Universal Knowledge Solutions s.a.l.


80

8' ,  8' Q 8' E C 

D  3
R 3 # :
   %8N
:  

* #$ >   4$ * $ >$ 9 * # >$ 9 ;E >$ 9 * >   >J6 A  > ;db >; 
. /$ ' >   4$
: 
6E$ I *6 8$ L< -$: ` >4
J
8 I * $ [ 9 L< - & %$ A  )<
.I 9 * $ 2 ;< $
:   !"#
:- & ;
5$ A  +$$ )<
B* #$ - & ;($ ((<$

BI )


B;db$  $ ;$  $

B   4$ * $ $ 9 *

B
I $ & _# $

BDjikstra 6 8

BBellman-Ford 6 8

B /$ '

.2$ '(: - &  

Universal Knowledge Solutions s.a.l.


81


 &'  
v(G) * #$ - & ;($ ((<$ ((<$ )d< .    p  >2  m  >'(& n  )$ +ib  G $
v(G) = m n + p :  G  $ O8$

:     N 9 


: R

G  >A:  A: v(G) = 0   . v(G) 0   >G +ib  ; ;9 
.  # 9  (
:$ "
.    p  >2  m  >'(& n  )$ +ib  G $
. Ei = {e1,..., e m }, i = 1...m _# i = 1...m _# G i * $    A8C$
:I >[E9  ( '(& n    A$ G 0 = (V, ) ;9  ##
Y$
v(G 0 ) = m(G 0 ) n + p(G 0 )

v(G 0 ) = 0 n + n
v(G 0 ) = 0
($   . G k +1 ##
49  $ G k ;9  ##
Y$ 9 L5$
:$$ $#$
> G k  5 8      (   9  ek +1 2 $   .1
:  $
v(G k +1 ) = m(G k +1 ) n + p(G k +1 )

v(G k +1 ) = (k + 1) n + (p(G k ) 1)
v(G k +1 ) = k n + p(G k )
v(G k +1 ) = v(G k ) 0
 I v(G k ) = 0 = >* #  ( G k  ;#   $ `
. v(G k +1 ) = v(G k ) = 0 9 < >P$ $ ##
Y$ 9
) G k   $  $ ,5  (   9  ek +1 2 $   .2
:  $ >(;I - &  # (  <
v(G k +1 ) = m(G k +1 ) n + p(G k +1 )

v(G k +1 ) = k + 1 n + p(G k )
v(G k +1 ) = v(G k ) + 1 0
v(G) * #$ - & ;($ ((<$ ((<$ )d< .  d  p  >2  m  >'(& n  )$ +ib  G $
. v(G) = m n + p :  G  $ O8$
:     N 9 
.  # 9  ( G  >A:  A: v(G) = 0   . v(G) 0   >G +ib  ; ;9 

Universal Knowledge Solutions s.a.l.


82

 %8N ! 0
: R
: J $$ *5
 $   .,9 n - &  #   G=(V,E) $
.' G .1
.  >* #  ( G .2
.2  n-1 - &  # * #  ( G .3
.2  n-1 - &  #   G .4
.  '(#   G  5 8$ (<$  W 6 ;    .5
:$ "
.)<$ (2) S$ J (1)  

: $ @ (3) S$ J (2)  

((&   v(G) = 0   >  * #  ( G 9  A: o


:  [EI ((& 9 -$: ` > p = 1 :   $ * $
. m = n p = n 1
  >2  n-1 - &  # * #  ( G 9  A: 9 o
. p = 1 9 -$: ` m = n 1 > v(G) = 0
: $ @ (4) S$ J (3)  

> v(G) = 0   >2  n-1 - &  # * #  ( G 9  A: o
.  d  ; G 9 <  p = 1 9 -$: ` m = n 1
9 % <$ 2 >2  n-1  #   d   G 9  A: >; $

= $$ v(G) = m n + p = n 1 n + 1 = 0 9 <  > p = 1


.2  n-1 M  * #  ( G
: $ @ (5) S$ J (4)  

(& 9 9 < A4 >    & ' &  G 9  A: o
&' (  P= >* #  ( G  A= .       
.G  9 9     CN
-$: (& 9   '(#   (  L ( >; $

.* #  (   G   4( $ W"


: J $$ *5
 $   .,9 n - &  #   G=(V,E) $
.' G .1
.  >* #  ( G .2
.2  n-1 - &  # * #  ( G .3
.2  n-1 - &  #   G .4
.  '(#   G  5 8$ (<$  W 6 ;    .5

Universal Knowledge Solutions s.a.l.


83

 %8N = 0 a
. (# 2  4 ;   (& 8X -< > > n 2 _# '(& n  5$ 4 ' ;$  

.' ;F @J6 @  M   A:  A:   P9 G  & ; 

S $ (S<$ %$  (: >J & ; v 1 '(& 8 > n 2 _# '(& n 4$ 4 ' ;  

. j < i _# v j v i (<$  e i    _# e 2 , e 3 ,....., e n [EI %$ v 2 ,v 3 ,......v n
. (n 1) (n 1)  '(& n  5$ '$ ;
$  5
 (< 9  

 
 
S  W 6 ;  @(# @ <   $  #   PC K n 6$ P$ 6 '(& n  )$$ ;$  $ )Z<
.(<$ 
.@1 @  ;$  $ ;d$  $  
: Y#E
  5 8$ (<$ P   A$ G = (V , E )  $  $  G = (V , E )  $  $ ;$  $  
. G      %$ A:  A:
: 
  $' C#

.2 $   $ $     # 2  ; ;F  $ (&  '(& ; 2  $    

Universal Knowledge Solutions s.a.l.


84

$ =D%
@
 
_S# V2 V1 &  -$: 4 )$C $ (<$ &  J6 9 A: J6 A P9 G = (V , E , )  & ; 
.V 2  2  $ 78I 4$ V 1  G [E9  2  ;$ -$ I 4$  
: C

:= 0
.( 4$  * #  # "  A:  A: J6 A P9 G (V , E , )  & ; 

 S  &S  A: 8X -< >   $ E


@   A:  A: J6 A P9 G (V , E , )  & ; 

.5 8  $   $   _# > $  %$

kn,m $ =D%
@  
 
:# G (V 1 V 2 , E ) J6 A   k n ,m J6$ A ;$  $
.V1 = n, V 2 = m
.v 1 V 1 , v 2 V 2 _# (v 1 ,v 2 ) (<$  W 6 ;  2  ( 

: C

Universal Knowledge Solutions s.a.l.


85

 
 
.( $ $ $  ":) P&E9 2 " _# @  P F $   A:   P9  & ; 
.@  $     PC  $ A ;F & ; 
: C

K4  $  $ ;F$

K4

.( $ $ $  ":) P&E9 2 " _# @  P F $   A:   P9  & ; 
.@  $     PC  $ A ;F & ; 

 #
 
. $ [E9  2  ;   '(# '  * A: >$ 9  # 4C  # & ; 
. $ [E9  2  ;   '(# '  * A: >$ 9   4C   & ; 
.$ 9  # - & 9 $ 9   - & 7 # A: $ 9  P9  & ; 
:= 0
.$ 9  # - &  # P= >  6 *( *A    (& 2 * A:

 A$ (<$    $ 9   - &  #  $ A = > ( *( *A (&    M  A:

. (5$ *($ *A


. ( *( *A (& M  9 > ( ( *A '(& 9 M  %$ A: $ 9  > $  $  

:$ 
.  $ OJ
8$ 
8 ; D  F9 %$ &9

Universal Knowledge Solutions s.a.l.


86

   M
 
. $ (&  '(& ;   '(# '  * A: >     # 4C  # & ; 
.     # - & 7 # A:     P9  & ; 
(: ; # $ % Q=  T     # 
9 & _# $  & &( (6 9 4$ [E9 A) ;iFb  
($ 2 '6   -# L< $ 4< 2  $ ($  &   P  9 ;  2J $   
9
.(($  *$ ;  F $C$ UA  [EI 6 9  ) P& 2 $

07N   T


(i, j) %4 ;   A$ c : E  :;F 2   $ A ( 6$ . G = (V, E)  $ P $  $  $ ($ $

. R = (V, E, c) :6$ 4$ 6 8 >;F$ 2  2  $  5$$  $ &( . cij ;mFc 9 6
:
I $ ;J  ;J( < 9 (  >@'(&
.$ 4 ((# A$ t ,9$ >$ ( ((# A$ s ,9$  @ & 
I $ ((#

. $ ,   ,9 9 >$ ( ((# A$ s ,9$  @ & 


I $ ((#

.$ 4 ((# t ,9 -$:  $ ,   ,9 9  @ & 


I $ ((#

. $ ,   W 6 9  
I $ ((#

:R:
.P5$ $ %4I ;F9 6 9 [ $ @      $ ;   

2Cb\ Bellman #


s  $   >
I $ A -$:  u ,9$  A: >t ,9$ s ,9$   A$ 
I $ C  A:
., $ UA  
I $  t -$: u  u -$:

I $  )$ 
I $   :% 

Universal Knowledge Solutions s.a.l.


87

Bellman
 
:($   R = (V, E, c)  $  j ,9 ; ;9  .j -$: s  
I $ ;  j $
j i + cij i Pr ed[ j]
.(i,j) %4$ 4 j -$: s  
9  (  ;#  '  #$ D

:Bellman *"(<$ "
@ # >(  ;#  >R ,   -$: s 
I $ ; 9 ; > s = 0 $
j = min iPr ed[ j] (i + cij ) j V {s}

07N   ?  Dijkstra  D


:G 2 F
 &
. $ :G(V,E)

. $  @ & 4$: 


I $ +# % $ , $ &  :S

. $  4$: 
I $ +# (<  %$ $ , $ :V-{s}

.,9 ; ;9   


I ;I *($ ; ( :d

.i ,9$   $ , $ &  ; ( :Pi

: D 
shortest_paths( Graph g, Node s )
{
initialise_single_source( g, s )
S := { 0 }
/* Make S empty */
Q := Vertices( g ) /* Put the vertices in a PQ */
while not Empty(Q)
{
u := ExtractCheapest( Q );
AddNode( S, u ); /* Add u to S */
for each vertex v in Adjacent( u )
relax( u, v, w )
}
}

Universal Knowledge Solutions s.a.l.


88

initialise_single_source( Graph g, Node s )


{
for each vertex v in Vertices( g )
{
g.d[v] := infinity
g.pi[v] := nil
g.d[s] := 0
}
}
relax( Node u, Node v, double w[][] )
{
if d[v] > d[u] + w[u,v] then
{
d[v] := d[u] + w[u,v]
pi[v] := u
}
}

Bellman-Ford  D
: J( ` %$  9( 

s = 0, j =

j V-{s}

 %$ A= j i +cij :@ # $$ $  A:  (i,j) %4 ; ;9   8 > $ %49  - &  $ 
. $ 6 9 (   # %F > j = i +cij 2 = >@#

Universal Knowledge Solutions s.a.l.


89

function BellmanFord(list V, list E, vertex s)


BEGIN
// Step 1: Initialize graph
for each vertex v in V:
{
if v is source then v.distance := 0
else v.distance := infinity
v.predecessor := null
}
// Step 2: relax edges repeatedly
for i from 1 to size(V):
for each edge uv in E:
{
u := uv.source
v := uv.destination
// uv is the edge from u to v
if v.distance > u.distance + uv.weight:
{
v.distance:=u.distance+uv.weight
v.predecessor := u
}
}
// Step 3: check for negative-weight cycles
for each edge uv in edges:
{
u := uv.source
v := uv.destination
if v.distance > u.distance + uv.weight:
error "Graph contains a negative-weight cycle"
}
END

 D   
.W8$  &(  < >* <$  &  6 8$ A5 >;8($  &( $ *<$  &   @E
.(y$ ... 9 *  9 * 9 * n) n D#
((< *<$ %# ,
S  >n PS# -<$ @ <  +#$ 6 ,  A: >n ;8($ *< %#$ @ <  6 8 $ 6$ (<$  
: 6 8 $ %6E$ +#$ 6 ((6 n *((6
Bn %#$ *A *<$ 2 ;9  +#$ 6$ - &I (#$ < >*"#$ 9 9 

Bn %#$ *A *<$ 2 ;9  +#$ 6   +#  >@

-S<$ @S<  S6 8 $ $ 'A$ # ,  A: >n ;8($ *< %#$ @ <  'A$  (<$  
.nP#

Universal Knowledge Solutions s.a.l.


90

c?  $D ,  W 5  "


:$ >64$ &  < +#$ 6 I >E
B(..>( >2 ) 'A5$ " I" * <$ ((& d(

%S $ 6S4 $ %6E$ 6$  * F$ A ) * F ($    + +#$ 6$ ( - & M$A ;
#

B(A$ 5\ * <$   <


.D$ (Z #$ U &( A$ (Z #$ ": N A$ ( (#$ F  ($ A  A8C "

: C

: $$ 6 8$ +# 6 8 

for (i=1; i<=n; i=i+1)


for (j=1; j<=n; j=j+1)
x=y*z;
Bx=y+z  ' n2 ($ 9 <  >' n ' x=y*z  & n M

di=i+1  ' n M

.j=j+1  ' n ($ 9 <  >' n ' j=j+1  & n M

+ +#$ 6 & @ <b   >n2  (< - & ;


# ( (#$  ;4 D$ (#$ %4 >  - & @(&
.  #$ * <$   & +#$ +# $ %6E$ 6$  * F 
.O(n2) 6$ M$A$ 6 n 2     6 8$ (< 9 (& ; 

c?  $D ,  W 5  "


:$ >64$ &  < +#$ 6 I >E
B(..>( >2 ) 'A5$ " I" * <$ ((& d(

%S $ 6S4 $ %6E$ 6$  * F$ A ) * F ($    + +#$ 6$ ( - & M$A ;
#

B(A$ 5\ * <$   <


.D$ (Z #$ U &( A$ (Z #$ ": N A$ ( (#$ F  ($ A  A8C "

Universal Knowledge Solutions s.a.l.


91

Bellman-Ford  D !7


 $  ;#  FI - & %4 n-1  )$C .@ $ 9 @  $ A   >j -$: s   
9 (  ;# 
.,9 n M 
:;#  ;<$ & Bellman-Ford 6 8 ) 
.  ' ( (< j %$ L58 9 ;
# %$

. n (< ; #I 9 9  9

) +$ ;  *A '(   $   >8I $ ;E8 L58 ;


# ;#   n (< ) $ % ;# 
.
9  ( " >(s ( $ ,9$  @ & 4$: ;
$
.O(mn)   6 8$ (<   %4 m ,9 n  5$   ;9 

!  : / %8


.P49  %4 ;$ c ;F 2  ( 6 @   @ G=(V,E) $
./
9  $ 46   $ G  T=(V,ET) /$ '  &( $ '$ & _# $ (
:
R:
.%4 n-1 /$ '$   ,9 n - &  #    5 ., $  /$ ' ,

.'$ %4I   /
I 6 I *A %49 8 >P * #$  )A#  >@  $  %$ A:

./
9 6 *A / 1 ;$ 7(# - & P     ; 2 ;<$  >@   $  %$ A:

 /0N  / %8 ?  Kruskal  D


: 
.|E|=m |V|=n _# G=(V,E) 

.%4t$ c : E  :;F 2 

Universal Knowledge Solutions s.a.l.


92

:O 
./
9   6 *A T=(V,ET) '

: D 
:(%4I L< 6 9   ;#  J & +) %46 I ;6$ 1 +$ G %49 %z + 
c(e1 ) ... c(e m ) .
k=1
ET =
while | E T |< n 1 do
{
if ek doesnt make any cycle with E T then
E T = E T {ek }
k=k+1;
}

Q  8 - &'  


:   @5
 @(< @ &  A8C$
.'((# * 9 4$ $ ;&I %4$  & 

.;&I  &    9  

:_# %A5 y  8 - & %4$ + : & _# $


.  I   #

.[ $ A5$ 6E$  $ '($  [$ ( ; 

.[ $ '( - & A5$ 8C FC %d

Universal Knowledge Solutions s.a.l.


93

%@ :Q  8 - &'  


:    $ $C$ WA
.[ $ %4 4  ;F

.j i  ;  $ %4$   9  (b A: 4   j i 9 9  ;


 %4 ( 

;" ;  i ,9$  $ 4$ A5$ 6E$ di 6$ '5$ &  < cij 6 449  (i,j) %4 ;  

.j ,9$  $ %4 $


:  $   $ )
.  9 4$ ,$ $ %4$ 2 %4$ UA   >null '( P  $ %4 $   >%4$ ( ;F ,9

. #" %4 9 %4$ UA4$   " >null '( P  $ %4 $   >;&I 4 ;F ,9

-$: [ $ A5$ 


I '($ ((#  & ( < >*(  (  & ' & >$ A  [   $  $  
.  
I $ +#

O    D :Q  8 - &'  


: G 
.[    R = (V, E, c)   .1

w ,9 $ 1 %$ ( ( $) a ,9 $   _# 4  2   ; b (n ((&)   ,    .2
.n %$ ( 4$)
:O2 
.[  $ D 
I 6$ .1
%6E$ Di 6$ > 4$ ,5 ( $ @8C FI Ei y$ > 4$ ( $ Bi  I y$ >i 4 ; ;9  .2
. 4$ -$: ;
$
: D 
: I *( $ y  +# .1

B1=0
for k=2 to n do
Bk = max jPr ed[k]{B j + c jk } = max jPr ed[k]{B j + D j}

Universal Knowledge Solutions s.a.l.


94

:@8C FI *( $ y  +# .2

D= Bn
En= Bn
for k=n-1 to 1 do
E k = min kSucc[ j]{E j ckj} = min kSucc[ j]{E j} D k
:e= 
.[ $ A5 '( '(6  # 4 A5  8C ; ( A: >Bi=Ei  ;#  # i 4   .1
. # *4  # ,   @ 5$  A: @# w ,9$ -$: a ,9$  $   .2
.[  A5$  $ 
I '($ -$: W#  ;   .3

Universal Knowledge Solutions s.a.l.


95

8' $ C 8' Q  8' ,  


RF   
N $' 
:  

*  9 ># P *  9 > 
" >; > $# >4 *  9 >+< >E1: >   > ( 9 > 
*/$ >*  9
.#" P
: 
> 
$ */ $  $ */$ )<  (&  WA Yb$  <$ *  I - & ;
5$ A  )<
.*$  <$ YI  ((<$   9 * (C
:   !"#
:- & ;
5$ A  +$$ )<
B*  I WA  %(8"  & 

B#$ 4$ *  I

B#E$ 4$ *  I

B Y$ (& $  <$

.,<$ 4 *  9 -$: Y  <  ; #$

Universal Knowledge Solutions s.a.l.


96


*# $ Y$ ,I [  $ A 2 ( . Y$  <$ :  Y$  <$ *  I [   2
.*< $  E`  <$ (4 $
(&  . 5 8$  $ */
8$ *$ : %
 - & r  b FC U(# #$ *  I WA $  ($
> /$ (  $ */ $  #$ 
$ # $ )
  > < $ */ $ )
$ E
@
9 V{9 A$ (& $ WA $
.*$ :  & 9 
*$ *8$  j c ^  ( 4Y< 9 ": >$ A  *< I *FEF$  *4Y ( WA '(& 9 2
.  $` + #$ %(8  2 $  9 4$: # $ @ <  M$A >*< $  ; I )
$
  > 
$ */ $ ($ $ (&  WA 4A 6$ #$  *4Y >4$ *  I WA  4Y >*8$ 
   > Y$  <$ Y   7 .   I WA$ 2 (& $ WA$  ((<$  $$ #$ 
*$< *$ $ *($ %
  #$ M$A A WA$ UA *c(8^ ( .*$  4$ *  I 2
.O
$

c
N O@ O  @ 
> %   :(1)  '  "   >
e 

("
)*

90

+$,
( 

9'7 

"
( 

D   

*< -

Universal Knowledge Solutions s.a.l.


97

2C#

UA    <$ (4$ + $ <$ W# > 


$ */ $ *  I [  $ Y$ ;
5$  L 8$ ; 
: %
  >4( ((
# $ $ WA$ UA %(8 9 A   ( .[  $ A ($
 g ;E8  WA$ UA %(8 9 %45 '5$ UA  9(  A$ > $ *($ O
$ *$< *$
.  & $# *$
: % )$C
:(  @ (  .1
B(DO, IF) ;F *(5 &  -$: O$ %

B(y$ Variable names, keywords) ;F *(5 [ 9 -$: O$ %

;F / $       4Y 9  " )#9 - & "EF  #) $  1 ;E (  %(&  (C$

B(+ )#
B*15$ ;F 4$: +  $ )#I L< ((#

.4 F (#    % '(5 ; &:

:(  @ 9'7  .2


B(A+B)*C $ ;F  ($ / $ O8$ 
$ #$ 2 4  ( 5 8$ ;$ ; #

.*(5$  4 9 (&  ' W8= ( $

:(  @ (  .3


B(A+B)*C ;F  <$ -< ; #

B(
$ N $  ;   & 4

:2C#  ' @ D  f .4


B4 N $ ($  + $ / $ 
I N $ V $ 9 WA  

'( $ *$  )A# 2 O$ - & Y5#$ - & (& Fm 9  & -$: P#$ $ 9  $ WA $  <

.%$ &  '(  )< $ < '(& -   : 1 FI  &   >P# L58$

c
N O@ O  @ 
>  50 '7
/ :(2)  '  "   >
:;F / $ (&  '((#  $ M 

.;& ;< =  <  o


:;F >% '(& A8C 9 ;&5$ ;<5$ = 9  & ;F$ ;: ; #$
(" 9" -$: "|" 6 _#) + | ;9 =

;< o

& | ($8 =

;& o

Universal Knowledge Solutions s.a.l.


98

: / $  ##
; 2 9 ;  %$ UA 

& + | & ;9 | ($8 + | ($8 ;9 o


 D#
((& WI :;F >(& $  J4" ((<$ W# " 4$ ;$  J4" ((& - & /$ 9  #

Digit | Digit Number


0|1|2|3|4|5|6|7|8|9

: $$ '(&$ %(89


= Number
=
Digit

c
N O@ O  @ 
> %
/ :(3)  '  "   >
:    /$ 9 )
 )< 
)
)#I ;) ) 5
 &( *&  -$: *(5$ %  _# >4& 9 *(5$  :/  %#

B(8X )
%I ; M$A
B(& $ M  - & @(& 4  $ @ (&  ##
$ ;$ &   : 50 '

.;$ M  - & @(& $ N $ -<  :

N  L 9  & )<$ A4  V ( 9 - &  $ ;$ * $ &  49 - & L /$ )<  >@

:V - & E1:  &


L V * The Closure of V

c
N O@ O  @ 
> (   (5
N O@  "# :(4)  '  "   >
-$:  $ N $ 4 )$C $  <$ * $   ($ $ (
$ N $ (5$ ; #$ D

B4(8 $ / $
B <$ *E&  '
#$ O
$ 9  $ *15$ ;F ) #$ L< (5$ ; #$ ;4b

.*  C >  / O8$ (5$ ; #$ ;F 

Universal Knowledge Solutions s.a.l.


99

c
N O@ O  @ 
> (   (5
N O@  "# $'  C :(5)  '  "   >
:  /$  *" # I (5 ; # $

.%I ) #$    [  )# 9(  9 9 )#9  )$C 9  ; #$ %: 9 L5 o


.\n6$ 4 ; #$ %: 9 L5 o
:    Y (&   &( $ (& $  &  ; #$ %: )
 
Identifier = Letter{Letter | Digit}EndChar

Letter =" a"|" b"| ... |" z"


Digit ="0"| .... |"9"
EndChar ="\n"

.Symbol ; #  )#$ A 2 ) #$    $$ )#$ 9 GetNext() J9 (  \ L5$

.; # %9 & ' &  ' $  $    # $ IsIdentifier() J: +$
int IsIdentifier( )
{
GetNext();
if (Symbol is a Letter)
{
GetNext();
while ((Symbol is a Letter) | | (Symbol is a Digit)) /*Case Switch*/
GetNext();
if (Symbol = = \n)
return TRUE;
else
return Error();
}
}
else
return Error();
}

:*E
$ *"#$  ( (# ((&  5$ *  9 ; - &  $ (5$ ; #$ ;F$

Start

Letter

\n

End

Letter OR Digit

.  9 ; D $ F$ IsIdentifier( ) J`  = $ ;F$ A - & 
# $ 9 Y#E

  (5$ ; #$ A5 $ *J` ($  ;9  *  9 -$: @$X  $ (& $ ; #  &  A$

. #E$ *5$  P & )<

Universal Knowledge Solutions s.a.l.


100

:  %N :  #  " 


: %N
+ I I * $ 6 $ UA ; . ( I -&(^ P ((& 6  &  - & WA$ 2 (< o
.Y5$
> $ *($ $#  9 >789 6  %I E$ ) #$  ( I )$C  /$ 9  >@EF o
.{0, 1}  6  5$ ( I  
:?7 
 A: >@EF .#I %Y<  4A#  (.)  4$: 6b 6 $ - & I  <$ +<$  & ; o
.6$ A      ab   > ( I 6   6 b a
B < +<$  &   o
.  /$  )#$ ;   <$ UA ;F o
:9  0
. 15$  $ (#$ 
<$ ;F o
::AP
6   $ +<$ * & & N $ ;E$ 2 &  PC ( I - & +<$ E1: )d<^ o
. ( I
.'6 P   P$   (A star 4Y5 ) A* 6$ E1` -$: 6b >A  ( I * A: o
: 
.  $ UA  ( I 6 $ ((& P9 - & (|x| 6$ P$: 6jb ) x   ;  )f<b

 0
/ :  #  " 
.( / j
m 8^ ) 
/$ >(A ( 9 - &  $ ;E$ 2 ; $) A* & $  ' # &  9 &(
: 
$ */ $ - & * <$ L<
:+<$ o

L1 L 2 = {u v | u L1 , v L 2 }
:E1` o

L2 = L L, L3 = L L L _# L* = {} L2 ... Li ...


Universal Knowledge Solutions s.a.l.
101

:(1)  C
:b )#$ ;E$ 2 4 9(  $ / $ 4C > ( I UA - & L1 /$ )<  >A={a,b} $
L 1 = { w | w A * , w = bx }

:(2)  C
:8   9 /
9 ;E$ 2 ;  4   $ / $ 4C > ( I UA - & L2 /$ )<  >A={a,b} $

L 2 = {w | w A * , | w | 8}

(M
N O@
$ *($ A$ E
@
9 %Sb
( > 
$ */ $ & 'Z <$ WA$  9  4$ *  I WA   <
.   $
.*< $ *$  O
$ *$< 4 >  $ */$ A5 %
  P(8 7($ P9 *((6
:4$ *  I WA $ ;( 9 < 9 M
B#$ 4$ *  I o
B#E$ 4$ *  I o
BM# 2 #E$ 4$ *  I o
. Y$  <$ o
. Yb$ */ $  &( &  <$ 2 >'(#  <  4<$ 9 ": >;( I UA (   %1$

(M
N
0
:4 4$ *  I )

B(*#$) *E
$ *"#$  4 &   

>*E
$ - & *
E$ 2 6 *  9 M >45<$ *"#$ - & *
" 2 6 *  9 M

B $ ,5 - & ;


# $#$ E 
B J(  $# *  9 ;$

B*  I ;& 4 4$: ;


$ ;F $ J4$ *"#$  &  *  9 ;$

Universal Knowledge Solutions s.a.l.


102

B* <$  &  6 $  &  - & (&" *
E$ )< %

*A 4  
>4 8( - &   6 ; ;9  ,2  J( " $#$  @ & *  I ;& 9( 

B $ 6$    


"
J4 $# -$: ;
$ < A: *  9  $  49   & ;  Y  <$ *  I ;F ;# 

.  $ ) # 6  %(8 ( J( " $#$  "E)

(M
N $'  
:P   %(8 *  I ;F '@ (& %
:$$ ;$ 4 & *  I 4 9(  $ J( " $# $  

q0

:$$ ;$ 4 & *  I 4 4^ $ J4$ $# $  

 )# - &  # 


E ; ; j  <b) $$ ;$ *  I *"#  $#  *"E$  
:( ( I ) #

q2
a
b
q3

Universal Knowledge Solutions s.a.l.


103

( (M
N
:_# (Q, , , q 0 , F) 8 #$ 4$ *  I )f<b
B Q = {q 0 , q1 ,..., q n } :( (#$ ((<$ *A *"#$ &   Q

B( 4 & ) ;8($ ( 9 

:   )f<b$ ;" 2  

> ( I  (# 6 & @ & * ;E$ &    - & @f<b D
$ ;" 2  (Z   

:Q Q
(q , a ) = q

: 

: Q * Q
(q, ) = q
(q, w.a) = ( (q, w), a)
w  $   (& 2   +  , $E$ ; (  %(& -$: @Y & @ & %(8 
.a ( 9 6 & ' &
B*  t$ J( " $#$  q 0

.Q  J6 &   *  t$ J4$ *"#$ &   F

: C

:$$ #$ 4$ *  I $


M = ({q 0 , q1 , q 2 , q 3 }, {0,1}, , q 0 ,{q 0 })

:$$ ; ($  ;" 2  )d<^


0
1

q0

q2

q1

q1

q3

q0

q2

q0

q3

q3

q1

q2

Universal Knowledge Solutions s.a.l.


104

:   P   %(8 *  I UA ;F 

q2
0

1
0

q0

q3
0

1
1

0
q1

: $$ *5
 $ #$ 4$ *  t$
B( (# *"#$ ((&

. 
E$ ,5 - & @(& M$A >4  '(# $# ": $# ;$ (  9  "

. 5 8$ *"#$  *"" )<$ 6$ %(j 8b "

/ 7  7


: A: M = (Q, , , q 0 , F) #$ 4$ *  I ;   $  w  $ j m <^

( q 0 , w ) F
:   M *  I ;   $ $ L(M) / $ )d<^ > $

L(M) = {w | (q 0 , w ) F}
./ : $  =7   = M   &- 0
N $# 9#
: C
:$$ #$ 4$ *  I $

M = ({q 0 , q1 , q 2 , q 3 }, {0,1}, , q 0 ,{q 0 })

Universal Knowledge Solutions s.a.l.


105

:$$ ; ($  ;" 2  )d<^


0
1

q0

q2

q1

q1

q3

q0

q2

q0

q3

q3

q1

q2

:   P   %(8 *  I UA ;F 

q2
0

1
0

q0

q3
0

1
1

0
q1

:I $  1 01110  $   .01110  $ ;  *  I  A:  \ $

(q 0 ,01110) = ((q 0 ,0111),0) = (((q 0 ,011),1),0) = ((((q 0 ,01),1),1),0)


= (((((q 0 ,0),1),1),1),0) = ((((q 2 ,1),1),1),0) = (((q 3 ,1),1),0)
= ((q 2 ,1),0) = (q 3 ,0) = q1 F

@ 6 5
I ((& 4   $ ;E$ & ~ &  # $ / $  M *  I  $ $ / $  

:(# $ ((& M$A

L(M) = {w | w {0,1}* , (p, q)  , w 0 = 2p, w 1 = 2p}

Universal Knowledge Solutions s.a.l.


106

$  
.01 S 4 $ {0,1} ( I  ;E$ 2 ;  A$ #$ 4$ *  I V9 .1
e #$
M = ({q 0 , q1 , q 2 }, {0,1}, , q 0 , {q 2 }) :;
1

q1
0

1
0

0
q0

q2
1

:$$ ;$ -<b$ A *  I ($ $ .2


q1

0, 1

0
0

1
q2

q0

B*  I UA  $  1 ;E 3 &9 .a


.*  I9 4 F $ / $ @ 5
 &9 .b
:;#$
.000001111101 >00111 >0001000 : $  1 ;E (a)
.0 S 4 4(  ": 1 (  9 " $ ;E$ &  (b)

(: (M
N
:_# (Q, , , q 0 , F) 8 #E$ 4$ *  I )f<b
B Q = {q 0 , q1 ,..., q n } :( (#$ ((<$ *A *"#$ &   Q

B( 4 & ) ;8($ ( 9 

:   )f <b$ ;" 2  

: Q 2Q
(q, a) = {p1,..., p k } Q

Universal Knowledge Solutions s.a.l.


107

:  > ( I  (# 6 & @ & * ;E$ &    - & @f<b D
$ ;" 2  (Z  
: Q * 2Q

(q, ) = q
(q, w.a) = {r | p (q, w), r (q, a)} Q
w  $   (& 2   +  , $E$ ; (  %(& -$: @Y & @ & %(8 
.a ( 9 6 & ' &
:  >'(# $# & @ & P *"# &  - & @f<b D
$ ;" 2  (Z   

: 2Q * 2Q

(P, w) = (q, w)

qP

(& 2 2   +  , $E$ ; (  %(& -$: @Y & @ & 9 %(8 

.q '(# $# & ' & P *"#$ &   


B*  t$ J( " $#$  q 0

.Q  J6 &   *  t$ J4$ *"#$ &   F

: C

:$$ #E$ 4$ *  I $

M = ({q 0 , q1, q 2 , q 3 , q 4 },{0,1}, , q 0 ,{q 2 , q 4 })

q0

:$$ ; ($  @ f<b ;" 2   


0
1
{q 0 , q 3}
{q 0 , q1}

q1

{q 2}

q2

{q 2 }

{q 2}

q3

{q 4 }

q4

{q 4 }

{q 4}

: $$ *5
 $ #E$ 4$ *  t$
B( (# *"#$ ((&

B 
E$ ,5 %(8 4  # *"# '(& $# ;$ (  9 $ 

Back ) ' 2 * & -$: W# '(< *  I  [ $ A4
8$ D$ *6 8  

B(Tracking
. 5 8$ *"#$  *"" )<$ 6$ %(j 8b "

Universal Knowledge Solutions s.a.l.


108

/ 7  7


: A: M = (Q, , , q 0 , F) #E$ 4$ *  I ;   $  w  $ j m <^

({q 0 }, w) F
:   M *  I ;   $ $ L(M) / $ )d<^ > $
L(M) = {w | w * , p ({q 0 }, w), p F}

./ : $  =7   = M   &- 0


N $# 9#
: C
:$$ #E$ 4$ *  I $

M = ({q 0 , q1, q 2 , q 3 , q 4 },{0,1}, , q 0 ,{q 2 , q 4 })

q0

:$$ ; ($  @ f<b ;" 2   


0
1
{q 0 , q 3}
{q 0 , q1}

q1

{q 2}

q2

{q 2 }

{q 2}

q3

{q 4 }

q4

{q 4 }

{q 4}

: M *  I  $ $ / $  

L(M) = {w | w {0,1}* , w1, w 2 {0,1}* , w = w111w 2 w = w1 00w 2 }

(: (M
N ( (M
N 45 
.#E$ 4$ *  I 
8 $#  #$ 4$ *  I

.L(M)=L(M)   _# V M # 4 *  9 (  M #" 4 *  9 ;$

Universal Knowledge Solutions s.a.l.


109

: C
:$$ #E$ 4$ *  I $

M = ({q 0 , q1},{0,1}, , q 0 ,{q1})

q0

:$$ ; ($  @ f<b ;" 2   


0
1
{q 0 , q1}
{q 0}

q1

{q 0 , q1}

:$$ ;$ #E$ 4$ *  I A4$  

1
0,1

q0

q1
1
:  V$ #$ 4$ *  I  

M = ({,[q 0 ],[q1 ],[q 0 , q1 ]},{0,1}, ,[q 0 ],{[q1 ],[q 0 , q1 ]})


:$$ ; ($  @ f<b V$ #$ 4$ *  I O8$ ;" 2   

0
1
[q 0 , q1 ]
[q 0 ]
[q1]
[q1]

[q 0 , q1 ]

[q 0 , q1 ]

[q 0 , q1 ]

[q 0 , q1 ]

$$ *  I - & ;


# >*"#$  '(&=
M = ({P0 , P1, P2 , P3},{0,1}, , P0 ,{P1, P2})

:$$ ;" 2  - & ;


# 
0
1
P2
P1
P3
P2

P0

P1
P2

P2

P2

P3

P3

P3

Universal Knowledge Solutions s.a.l.


110

g> Q (: (M


N
.#E$ 4$ *  I 
8 $# M# 2 #E$ 4$ *  I  <b

. ( I -$: = *  I A ;F - & ;


#

(1) RF    '


:( Y (&   &() 
(&  ; # %9 )
 -$: (<$
Identifier = Letter{Letter | Digit}EndChar
Letter = "a " | "b" | ... | "z"
Digit = "0" | .... | "9"
EndChar = "\ n "
- & $   .($ 4 >%9 >)#9) $ 9 6   )$  < ($ $  $ *"(<$ ;# ; #$

:@ Y @ < U &( A$ $$ ;$


(a | b... | z)(a | b | ... | z | 0 | ...9)* '\ n '

6   )$  < ($ $  $ *"(<$ ;# ; #$ >( Y (&   &() 
(&  ; # %9 )
 -$: (<$
.@ Yb @ < U &( A$ #$  Y$ ;$ - & $   .($ 4 >%9 >)#9) $ 9

(2) RF    '


.() -$: ` ( I 6  %(8  /$ '(&$ )
 :%Y  <

: $$ *F$ %(8 

.{a|b|c} 9 (a|b|c) :;F | 6$ P$ 6b :


  o
.(a)* :;F * 6$ P$ 6b ::AP o
.(a)+ :;F + 6$ P$ 6b :7N &'   :AP o
.(aa) 9 aa :;F 6 $ $ ;F$ :?7  o
. Y  < %(8 > Y$ (& $  &  ;F @J( 

.((& $ *"(< ;# *6 8) %Y  < -$: > Y$ (& $  &  9 ; # %  *6 8 M

Universal Knowledge Solutions s.a.l.


111

@ # ;F A$ 6$ -$: ` ( I 6  %(8  /$ '(&$ )


 P9 - & %Y  < )< 

.() @ 1
: $$ *F$ %(8 

: < A$ (a|b|c) :;F 6 $ (#9 (  ;# ;F$ %j(8mb | 6$ P$ 6b :
  o
.c 9 b 9 a
4E$ 5
$  g  *$  ((<$ 6 $  ;F$ %j(8mb * 6$ P$ 6b ::AP o
. 4E$ 5
$  g  *$  ((<$ a $ 6 A$ (a)* :;F
g  *$  ((<$ 6 $  ;F$ %j(8mb + 6$ P$ 6b :7N &'   :AP o
. 4E$ '(# $ '$  g  *$  ((<$ a $ 6 A$ (a)+ :;F 4E$ 5
$ 
.(aa) 9 aa ;F 6 $ $ ;F$ :?7  o
. Y  < %(8 > Y$ (& $  &  ;F @ J( ` P9 - &  $ %

.((& $ *"(< ;# *6 8) %Y  < -$: > Y$ (& $  &  9 ; # %  *6 8 M

N RF   


:*  9 ; - & $$ %Y$  <$ )
 ; #$

(a | b... | z)(a | b | ... | z | 0 | ...9)* '\ n '


:$$ *  I - & ;
#
a
C0

E0

C25

\n

D
z

E9

Universal Knowledge Solutions s.a.l.


112

(M
N R    $  45 
-$:  $ [ $  *  9 ; #  Y#$ #$ .M# 2 #" 4 *  9 %Y  < ;$ 9  $ 
.*  I ;/ (& '$ '( <$ * & + _# # 4 *  9
. / $ ,5 ;  V %Y  < (  # 4 *  9 ;$ 9  $  
:$$ ;$ D    *  I ;( 9 2$  ($ $

#
(

#

(
#

(

g- Q

  
R

() )
     ' #
@ < @A  >@  A  +# ; $ *(5$ UA & ' <$ *  I ($   >@$X /$ *(5 ; # ($ $
:; #$ J: & @ 
49  (C$ 4# ( $ *(5$ &  & 'Z <$ ( Y (&  $) (& $ &  )<

B $ / $ 
B%Y  < -$: Y$ (& $ &  ; # 6 8 %(8

B#" 4 *  9 -$: %Y  < ; # 6 8 %(8

.# 4 *  9 -$: #E$ 4$ *  I ; #

.*6 8$ UA L< #E$ *5$  L<

Universal Knowledge Solutions s.a.l.


113

( (M
# &- R   $    D

(a)
:
(a) ab(a)*a
*

ab

a
a

a|b
b

(
# &- ( (M
# $    D
-$: 4  # @J( ; # >#E$ 4$ *  I A5 (& (Back Tracking) ) 8$ -$: '( <$  + 

.A5 ( $ ;  # 4 *  9


. 
I *  I *"#  &  4 ; ;F *"#  5$ # 4 *  9  

 > $#$ UA 4 F $ 


I *"#$ 7(#: * A: J4 $#   $# 9 >#$ *  I  > <

. J4 $#
  4$ J$ #$ *  I *"# ((& = (N) @4 #E$ *  I *"# ((& 9  9 
.FI - & (2 )   >@ 4
N

Universal Knowledge Solutions s.a.l.


114

$  
:N $ 
: $$ Yb$  < $ @J @ # @   9 V9
A = 10 + ((0+11) 0* 1)
B = 0* 1*
C = 0+ 1+

:( C $ 


: $$ #$ *  I  ;$ @ Y @ < V9
M1 = ({A, B, C},{0,1}, 1, A,{A, B})
1
0
1
A
A
B
B
C
B
C
C
C
M2 = ({A, B, C},{0,1}, 2, A,{A})
0
1
2
A
A
B
B
C
B
C
A
B
M3 = ({A, B, C},{0,1}, 3, A,{C, B})
3
0
1
A
B
C
B
A
C
C
B
A

Universal Knowledge Solutions s.a.l.


115

 5 
<7

http://www.acts.tinet.ie/induction_645.html
http://www.dartmouth.edu/~chance/teaching_aids/books_articles/probability_book/pdf.html
http://www.utm.edu/departments/math/graph/
http://www-db.stanford.edu/~ullman/ialc.html
http://archives.math.utk.edu/topics/discreteMath.html
Discrete Mathematics with Application, Susanna S. Epp, Thomson third Edition, 2004

Universal Knowledge Solutions s.a.l.


116

S-ar putea să vă placă și