Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

ΠΛΗ30 ΜΑΘΗΜΑ 5.1 (ΕΚΤΥΠΩΣΗ)

4,392 views

Published on

.

Published in: Education
  • Be the first to comment

  • Be the first to like this

ΠΛΗ30 ΜΑΘΗΜΑ 5.1 (ΕΚΤΥΠΩΣΗ)

  1. 1. 30 5: 5.1: Turing !" #$%&' %$# ( ) ! " # $ # % & ' # ( ) & # * #+ , "#$( - + $+ ! . / 0 ( 12 2 ! % + 3 $( #4 - $+ + & % #+ & ) + 3/ $( #4 ) "#$( 5 & # #20 # & % 6 & , 7 + 2 ! & 1 ( 8 + + # % 9 $+ # & : + + # !"# $ % &$ ' ()* % +% ,-. . * $ % $ &$* $ % $ '! : ! '+ ' $ # ! & '+! & . . '! SOS $ $' ','$ &' # - % . . ! '+ . # $ &$ & . . $ & * , $ &$ & & & « # ' » &$ . . ! '+ (-) !"# $ % &$ ' ()* % +% ,-. B. /'0#! 1. M % Turing 1. $ '! % Turing /!"# $ % &$ ' ()* % +% ,-. $ '! & % Turing: • ! (* 0 $ $* $ $0 1 0&&1 ), + +% & * $ &$ &'0 - '$ 2 &'0 . • + ' ' ! + % $' % $ &$ & & 2 !"'$ ' h • * 0 ' ! '# # &$ ' : • 3 ' # % ($ # &$'#*$'# ' !) '! '# # &$ ) % # $ +', . • ' + * &) 2 # +'! ' *$ $ ' ! '! ' *. • 3 ' +'! ' &' & ' # ' ! $ $ ! . !"# 0 4 5
  2. 2. B. /'0#! 1. % Turing 2. #* ' $ # ! % Turing !"# $ % &$ ' ()* % +% ,-. # & % &$ $#* ' $ # ! $ % Turing ( ! & & ' $ # ) ' ). • # $ ) ,' %&' $ ' $ # ! $ , ' '# &' $ '!& + &$ $ ! . • % 0 '!& + w '! '# & 0 #w# & ! ' *$ : • # &$'#*$'# ' ! '! # • '$ &$ + + ' '! & 2 &' # w • &0 '$ * $ ' '! ' . • '6 % 2#!& '$ & % 0 &$ # % $ $ ! ( #!"'$ * $ ' 61 & ) : • % $ $ $ &$ & $ $ $ $ &) 2 $ '6 % . • $' '!$ ' # ' #!"' '$ 2 & #'! '! ' &$ ! * $ ',% : • ! &' # &$'# $ '6 % ( 2 !"'$ L) • ! &' ', $ '6 % ( 2 !"'$ R) • $ $ &$ &' $ &) 2 $ ' ) +'! ' '6 % ' $ &) 2 & (& 2 !"'$ ) • '$ 2 & & 2 !"'$ &$ $* $ 0 : • '! $ &$ & 2# & * &$'. • '! $ &) 2 $ ' ) +'! ' '6 % • 4 '! L % R % & : 7$ ! ' '$ 2 & &$ $' % $ &$ & h 1 2 /4 B. /'0#! 1. % Turing 3. * # & * $'$'# &$ % % Turing % '! $'$'# &$ % 6 ) ' & #$ & '$ 2 & ( #!"'$ ' + * $#* '$ 2 & $ $ $ ' ' & + & * $ &$ & & 2* $ ! ) 3!"# $ % &$ ' ()* % +% ,-. $'$'# &$ % % Turing '! 5- + * : '! ' '# & &) $ &$ &'0 '! $ 6 2 $ $ ! #'0$ '# ' $ ' * ( # ). '! & #$ & '$ 2 & . . . q0 1, q1 ) '! # % $ &$ & '! $' % $ &$ & . Turing ! % Turing #'! ' ! * $ * ' & '# 6 # : • $'# $!"' : 7$ 6$ ' &$ + % $' % $ &$ & h • 6$' &' 2#* : . . ' ! & $ #6% • #' ' : ! ' '$ 2 & L, *$ '! &$' &$ 1 ' ! $ $ ! . $ *! % Turing ' # 6$'! &0&$ ' $' '! ' # ' 0 &$ $ ! $ . ! # # $ &$ * #' ' % 6$' &' 2#* . B. /'0#! 1. % Turing 4. # $ &$ &'0 % Turing 4!"# $ % &$ ' ()* % +% ,-. ! % Turing '! & $ % ' * & $ & #$ & '$ 2 & $ % . • # % $ &$ & & 2 !"'$ : • '$ 2 & & 2 !"'$ : • ( + %) $' % $ &$ & h & 2 !"'$ ': 5 5 1/R 0 & & 1: /'0# ) ' $ % Turing '# # 6'$ * $ * + # $ &$ &'0 . 6 ) ' '$%&'$' $ & '# 6 # $ ' '!& + $ & 2 &' # #abb# ' $ '6 % 2#!& '$ &$ # % $ $ ! , +1&$' ! $ '# # 6% $ ' $ # ! $ % . B. /'0#! 1. % Turing 5. # +'! $ 1 1 Turing. 6!"# $ % &$ ' ()* % +% ,-. 5 5 #/R a/b b/a 5 a/R b/R 0 #/#
  3. 3. & & 2: /'0# ) ' $ % Turing . '# # 6'$ * $ * + # $ &$ &'0 . 6 ) ' '$%&'$' $ & '# 6 # $ ' '!& + $ & 2 &' # #ba# ' $ '6 % 2#!& '$ &$ # % $ $ ! , +1&$' ! $ '# # 6% $ ' $ # ! $ % . B. /'0#! 1. % Turing 5. # +'! $ 1 1 Turing. 7!"# $ % &$ ' ()* % +% ,-. 5 5 #/R a/# b/# 5 #/R 0 #/# B. /'0#! 2. & « # ' » 1. $ &$ & . . !"# $ % &$ ' ()* % +% ,-. ! . . '! ' ! '# # 6% #!"' $ $# & $ &$ & $ . . (+ +% 60$ # 6! $ $ &$ & &$ ! 2# & * &$'). $ $ &$ & #!" ' ' $ * $#* : 1. ' $ &$ & 2#!& '$ + ' 2. ' & $ $ ! 2#!& '$ '6 % 3. '! & 2 &' # &$ $ ! . # +'! $ : MA ' '$%& ' &' # ) ' # +' # &' * $ $ &$ &' . .: • (q2,#bab) & ! ' *$ • + ' %$ &$ $ &$ & q2 • $ ! '! ' $ &) 2 #bab###########..... • H '6 % +'! ' &$ $#!$ ' ! $ $ ! ' $ &) 2 • (h,#abb#) & ! ' *$ • + ' %$ &$ $ &$ & h • $ ! '! ' $ &) 2 #abb###########..... • H '6 % +'! ' &$ $ ' ! $ $ ! ' $ &) 2 # # +'! $ $ &$ &'0 . .: • (q1,baa#) • (h,######a) B. /'0#! 2. & « # ' » 2. $ & * . . !"# $ % &$ ' ()* % +% ,-. . . '! $ * $#* ' !& ' $ !+ # 6 #! ' $% $ $ &$ & . . & ' # 0 $ #$'& ) : ! 7 • $ 1 '! $# & $ &$ & • 2 '! & 2 &' # * $ # % $ $ ! , '1 $ ' ! # &$'# $ '6 % • 3 '! $ &) 2 $ ' ) +'! ' '6 % • 4 '! & 2 &' # &$ +', $ '6 % . # +'! $ : • $ &$ & . . (q2,#bab) $ &$ '! &$ & $ & * . . (q2,#b, ,b) • $ &$ & . . (h,#abb#) $ &$ '! &$ & $ & * . . (h,#abb,#, ) B. /'0#! 2. & « # ' » 3. & « # ' » !"# $ % &$ ' ()* % +% ,-. " « » #!"'$ ' $ * $#* '# # 6% $ $ ' % Turing. • ! % Turing =( , ,+,s,h) ' *$ & $ & * " #" $" %" & # ' &' 2% $ & $ & * ' #' $' %' # 6 ': " #" $" %" &() ' #' $' %' • * '$ 2 ! ' * $ 1 & $ & * &$ 2 1 $ $ '$ 2 & #!"'$ &$ & #$ & '$ 2 & 0 " " #!" ' ' !& $ & &' : • «# n » & 2 !" ' ' (* + * ' n '6 # $ & & « # ' &' 2% » • «# » & 2 !" ' ' (* * ' 0,1,2,…. '6 # $ & & « # ' &' 2% » $ . . , - . (/ 0 .1 2 .3
  4. 4. B. /'0#! 3. # - % . . 1. $ ' 1+' . . !"# $ % &$ ' ()* % +% ,-. # ' $ & ' & ' Turing ! & &$ % + ' , #!" ' # & %& ' 0 + &$ '! &' '#! ' . #!"' $ 2 2 ! $ '! ',% ( * & ! ' « $ +% $'»): 8 0 */& % : « # 8 2* &» 8 0 */L L % L : « ! & # &$'# » 8 0 */R R % R : « ! & ', » 8 0 */* > % > « % # %» 0 h % h « %- » ( */* & ! ' «*$ 6% ' $ $ ! 6 »): */* # +' : * % Turing '$ '! $ '6 % ! & +', , + 2 "' $ &) 2 , ' ! & +', # 6' $ &) 2 &, ! '$ ! ! & +', * % $'# $!"' . % $% ' '!& + #aab# '6 % ! ' +', #aab# + 2 "' $ &) 2 &= , '$ '! $ '6 % & +', #aab#, # 6'$ $ &) 2 &= ( $ &$ & $ ! #aaa# ) '6 % '$ '!$ +',! ( $ &$ & $ ! #aaa# ) $'# $!"' . B. /'0#! 3. # - % . . 1. $ ' 1+' . . /!"# $ % &$ ' ()* % +% ,-. $ ' &) '$' &$ !' ' 1 ' &$ '1+' ' '$ 2 &' + 2 " $ 0 ',% : % $ &) 2 & $ +' #!"'$ '$ 2 & * &$ ' 1+ %, $*$' $ $* $ $'# $!"' . 5 #'0$ % '$ 2 & ($ ) ' #'0$ ) x '$ 2 & '6 % +'! ' &$ &) 2 x R 4 5 R 4 5 '$ 2 & ' % ' & & 2* . % $ *$ + 2 &' $ &) 2 & # ) ' ' $ # 8 ' $ &) 2 & &$ $ ! ' $ % . & R B. /'0#! 3. # - % . . 1. $ ' 1+' . . !"# $ % &$ ' ()* % +% ,-. * ' Turing #!" $ &$ 2 2 ! , '0# ) $ &$ ' 1+' # ) ' $ # & %& ' $ & ' & ' * '#! ' . R2: « ) &' +', » R R !0 # ) ' # & %& ' $ % L2 ' *$'# # ) ' # & %- & ' $ Lk,Rk k 6 & * # *. R#: « ', # & $%&' #» R 6 $ 2 "'$ : «7& +' + 2 - "' # % ' +', !0 #!"'$ % L# 76: « ', # & $%&' ' *» R # $ 2 "'$ : «7& + 2 - "' # % ' +', !0 #!"'$ % 6 9& & 1: 1&$' $ '# # 6% $ ' $ # ! $ * . . ' '!& + #w# * # 8 9 B. /'0#! 3. # - % . . 2. ) '$' . . 3!"# $ % &$ ' ()* % +% ,-. ' #%& $0 # 0 . . # ) ' $ & ' & ' &) '$' Turing !' '! &$ ' 1+' *# ' $' ) ' # ' 0 &$ $ ! $ % Turing. 6
  5. 5. 9& & 2: 1&$' $ '# # 6% $ ' $ # ! $ * . . ' '!& + #w# * # 8 9 B. /'0#! 3. # - % . . 2. ) '$' . . 4!"# $ % &$ ' ()* % +% ,-. : 4 5 ' 4 ; :' 4 # +' : * % Turing !"' $ & #$ & < = #6 * #6 & 2 &' # # ) $' * $ = '$ $# $ ' a &' b ' b &' a. ( '!0& : 8> ?9 ) B. /'0#! 4. 4#%& $0 1 Turing 1. Turing !" & #$%&' 6!"# $ % &$ ' ()* % +% ,-. + ' $ ' $' ) Turing '! & $ : • 3&$0 & #$ & @ & A A ' A 8 9 • ' *$ % Turing !"' $ f ' = A ' < = B & )' *$ : # (* % • # ' % Turing !"' & #$ & f, ' *$ & #$ & '! Turing !& % +# % $ C C $ 9& & : $ & ' &$' % Turing !"' $ & #$ & < = =#D * # 8 9 . B. /'0#! 4. 4#%& $0 1 Turing 1. Turing !" & #$%&' 7!"# $ % &$ ' ()* % +% ,-. B. /'0#! 4. 4#%& $0 1 Turing 2. ' $ &' $0 1 Turing !"# $ % &$ ' ()* % +% ,-. #!" $ $ Turing ' + 6 # $#* : 1. % Turing ' ' # $ ! # $ +) $' ) &' . 2. % Turing ' $ !' ! '6 % $ ! 3. % Turing ' ! $ ! '6 4. % Turing ' + + &$ $ ' *$'# + &$ $ $ ! +' )'$ *$ * ' # 0 # ) # & 0 ) * $ & % % Turing ' '$ ' &$ $*. !! $ ','$ &' " $'!$ & * ' & % % Turing, '0# $ &' ' * ' % $ & $%& ' Turing $ '#! $0& 2 !!
  6. 6. . & %&' 9& & $ * & 1 * % Turing #!"'$ 0 % # &$'#% !& & , + +% % ' $ # 0 %: # (* # * # 8 9 ')&$' $ ' $ # ! $ % ' '!& + $ & 2 &' # #abb# !"# $ % &$ ' ()* % +% ,-. : 4 5 4 . & %&' 9& & $ * & 2 * % Turing #!"'$ 0 % +', !& & , + +% % ' $ # 0 %: # (* # * # 8 9 ')&$' $ ' $ # ! $ % ' '!& + $ & 2 &' # #abb# !"# $ % &$ ' ()* % +% ,-. : 4 5 6 4 ; . & %&' 6 # % 1 $ & ' &$' % Turing !"' $ +# % & #$ & f #!"'$ 0 ',% : • f + '$ 0 *# & # * &$ + ! &)&$ #! & ( . . # * 3 # 6'$ 111 # * 5 # 6'$ 11111) !"' $ ' * ' * $ w’. • ' 1 " $'!$ . . !"' $ & #$ & f(w)=w’ ' $ & *: # (* #E !"# $ % &$ ' ()* % +% ,-. . & %&' 6 # % 2 $ & ' &$' % Turing !"' $ +# % & #$ & f #!"'$ 0 ',% : • f + '$ 0 *# & # * &$ + + * &)&$ #! & !"' $ ' * ' * $ w’. & * ! '$ * $ # ) >=1. • ' 1 " $'!$ . . !"' $ & #$ & f(w)=w’ ' $ & *: # (* #E /!"# $ % &$ ' ()* % +% ,-.

×