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

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
#/#

& & 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

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

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 !!

. & %&'
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
/!"# $ % &$ ' ()* % +% ,-.