Bài giảng Automata và ngôn ngữ hình thức - Chương 7: Máy turing ppt

                          ả
          ộ
                
  ! " # $  % % $  & "  ! &
'  (  )      & ! ! * + , (  - -   - 
Lý thuy t automata và ế
ngôn ng hình th cữ ứ



 
!"#$%
&'
  Ụ

 (% )*%+  ,%(  )-()-%.ị ệ ạ ạ ỹ ậ

/% )*!+  0.ệ ạ ạ

1  )*% ) )23)-45.ơ ượ ướ ứ
,./

1))*"6 ))*% 73         ể ộ ượ ớ ệ ư ộ ướ ọ ậ ở
 
!"#$%
0"12 3 4 516789/34ữ ạ ạ
0&166 :;/:123465ệ
0< 3 6;=;=ỹ ậ
7.3.1. K thu t l u tr trong b đi u ki nỹ ậ ư ữ ộ ề ể
7.3.2. K thu t d ch quaỹ ậ ị
7.3.3. K thu t chu trình conỹ ậ

7.3.4. S d ng nhi u rãnh trên băng ử ụ ề
0>  58 556 ?')ự ươ ươ ữ
0%(3:32;=@56 6 6A)(Bớ ộ
0#1 556; 3: C6;3ướ ứ ở
89:#90;
<
"= 6 > ữ ứ
!"#$%
0"12 3 4 516789/34ữ ạ ạ
0&166 :;/:123465ệ
0< 3 6;=;=ỹ ậ
7.3.1. K thu t l u tr trong b đi u ki nỹ ậ ư ữ ộ ề ể
7.3.2. K thu t d ch quaỹ ậ ị
7.3.3. K thu t chu trình conỹ ậ
7.3.4. S d ng nhi u rãnh trên băng ử ụ ề
0>  58 556 ?')ự ươ ươ ữ
0%(3:32;=@56 6 6A)(Bớ ộ
0#1 556; 3: C6;3ướ ứ ở
89:#90;
;
"= 6 > ữ ứ
#0$%   %?3@*ữ ạ ạ

$   )- 5" ?( +3%  @- = ộ ữ ạ ủ ỉ ả ậ ừ ậ ữ
&DE4F4D56GD4'    "6 ?A 7 ớ ỗ ỗ ậ ỉ ệ ạ 43D&3 3)-ạ
 %()-B' ạ ặ HCD&(= C D (= " %()-B'.ể ử ặ ơ ạ

"% )-E"2  A%5? 3 %C D  &%ự ừ ướ ể ư ử ươ ứ
-I'F  ""?   53  2)-% "%  &5?3@*ư ậ ể ở ộ ể ả ớ ộ ơ
G4F3D4'H


DC2:6D&7$0IJJ'

4D:6D&7K5$0IJ8'
89:#90;
J
"= 6 > ữ ứ
#0$%   %?3@*ữ ạ ạ

5J0"DC2:6Dị " 8Hộ
$L&MN2
,
OP'
3?H
MH    " %(A ".ậ ữ ạ ọ ậ ệ
NH    " %(A .ậ ữ ạ ọ ậ ệ
H    " % %.ậ ữ ạ ọ ậ ạ
2
,
H %+-3@*.ạ
OH%C  Cạ ừ M & ""  %'.ọ ể ạ
PH"%C   Cạ ừ ậ M  ậ N& ""'ọ
N&'LPQ2&'C&'R

$ 3  )-%A   "A "" % ạ ộ ơ ệ ụ ộ ệ ạ ậ
A ệ
89:#90;
8
"= 6 > ữ ứ
#0$%   %?3@*ữ ạ ạ

89:#90;
#

@F ụ $   3)-ộ ườ ử
  BS3)*%3 ,"ườ ọ ể
3 I (==-@*"ể ườ
T7U3)-@ @*3 S ỗ ứ ị
3 (="=-? )- ể ộ ượ
%7 )- 2%"3 ụ ơ ộ
(% ữ

Q"3 RLV7WX.ộ

  ử ỗ
  ọ ướ
 ợ 
2
,
2
0
2
<
,
I7
,
I7
I
IW
2
:

,
,
"= 6 > ữ ứ
#0$%   %?3@*ữ ạ ạ
89:#90;
Y

$% 3 ễ ơ ị

$% % =- @ộ ị
2
,
2
0
2
:
0,
,,
00
,0
0,
,,
"= 6 > ữ ứ
#0$%   %?3@*ữ ạ ạ
89:#90;
I

@F ụ     3=*Z?="3?)-?<C@- ) 6ả ử ộ ơ ệ ụ
 =%"2%6)*C  )-()-?   ạ ả ỗ ể ự ệ
3)*3?

"= 6 > ữ ứ
2
,
2
0
2
:
,[
,[
,[
0[
0[
00
#0$%   %?3@*ữ ạ ạ
89:#90;
0,

@F ụ )-()- %%" 3 3% %)@* Hộ ự ộ ứ

$%% " U %<,C9.ướ ướ ị

$%@- %3=*JC0,C:JC.ậ

/ "%  <,C%     =-)* 2%( 7U@-B"ả ớ ơ ậ ứ ả ạ ượ ườ
3 &\'  3  @-B"&]'  3  .ỏ ẽ ậ ượ ướ ẽ ậ ượ ướ

K 5ưở )-()-% % 3 3  % 6 7U  ạ ể ạ ạ ứ ườ ả ỏ
"%JC S  )* " =- (3Z "%(=ỉ ậ ạ ừ ướ ỏ
7 <,Cướ
"= 6 > ữ ứ

#0$%   %?3@*ữ ạ ạ
89:#90;
00
2
,
2
0
2
:
2
<
2
;
2
J
2
8
J[ J[
J[J[ J[ J[
\[
][
\[
][
\[
][
\[
][
\[
][
]]

\
0,[
0,[ 0,[ 0,[ 0,[
:J:J
0,0,
JJ
:J[
:J[
:JJ
:J0,
:J0J
:J:,
0,J
\[
][
"= 6 > ữ ứ
#0$%   %?3@*ữ ạ ạ

5J0&4D:6Dị " 8Hộ
$L&MN2
,
OP'
3?H
MH    " %(A ".ậ ữ ạ ọ ậ ệ
NH    " %(A .ậ ữ ạ ọ ậ ệ
H    " % %.ậ ữ ạ ọ ậ ạ
2
,
H %+-3@*.ạ
OH%C  Cạ ừ M & ""  %'.ọ ể ạ

PH"%C   Cạ ừ ậ M  ậ N& ""'ọ
N&'LPQ2&'R

$ 3  )-%A     %ạ ộ ơ ệ ỉ ụ ộ ạ
89:#90;
0:
"= 6 > ữ ứ
!"#$%
0"12 3 4 516789/34ữ ạ ạ
0&166 :;/:123465ệ
0< 3 6;=;=ỹ ậ
7.3.1. K thu t l u tr trong b đi u ki nỹ ậ ư ữ ộ ề ể
7.3.2. K thu t d ch quaỹ ậ ị
7.3.3. K thu t chu trình conỹ ậ
7.3.4. S d ng nhi u rãnh trên băng ử ụ ề
0>  58 556 ?')ự ươ ươ ữ
0%(3:32;=@56 6 6A)(Bớ ộ
0#1 556; 3: C6;3ướ ứ ở
89:#90;
0<
"= 6 > ữ ứ
#:/% )*%ệ

(3465"+"*<#3Z3)*C@-%?( + 7 % %Hả ể ễ ậ

 @-ự " ộ 3:?@Z 3   2%6A%"%ọ ộ ủ ộ
%3  .ơ ả

 7   "= 3@*3 ? 7  )*@-(^? 3 " ử ụ ộ ớ ạ ọ ể ị ể ể ọ ử
3=*% )  ị ộ ớ


?( +3%  = 3 23)-3 &=  ,G ả ậ ớ ữ ệ ượ ữ ạ
'

L58 8 ơ ị ?    6 " ộ ớ ớ ạ ọ ộ )-A  &ớ ộ
!77>!')(?( +3% 1&=  0'ả ậ ữ ạ
89:#90;
0;
"= 6 > ữ ứ
#:/% )*%ệ

5J0<ị &3 3 '"  =-=*#"@*Hơ ị ộ ệ
$&M_O2
,
!5'
H   % %.ậ ữ ạ ạ
MH (D  .ộ ệ ậ
_H   %(D 3 )-)+.ậ ữ ạ ệ ượ
OH" C_ C_CV\`X.ể →
2
,
H %( 3@*.ạ ở
!H(D 7U3  ( =-)+.ệ ể ỉ ả
5⊆H % %()-Bậ ạ
89:#90;
0J
"= 6 > ữ ứ
#:/% )*%ệ

5J0>ị 6% $?7 ủ ạ a

0
2a
:
 2" % " $aớ ạ ệ ủ
0
a
:
" ộ
7 +A 3@*+3)-(D (%!() @-ủ ừ ệ ả

5J0%ị b cặ
0
c
:
c
>0
c

c

" 6%&d'ộ    ị ể 3 (Dượ
 "Hệ
MAN
6
BOAE,)B

F)->0L6c

"!.


F)-L06(=?d()-)-&3@*3 (=3 S 2 % +.ọ ượ ượ ậ ủ

F)-e0)-H
c
0
c
:
c
>0
c

c

→

c
0
c
:
c
>:
Ec
>0
,c
f0
c

89:#90;
08
"= 6 > ữ ứ

q
#:/% )*%ệ

  ươ ự    ị ể ả 3 (D "ượ ệ
MAN
6
BOAE,B
g Hcớ
0
c
:
c
>0
c

c

→

c
0
c
:
c
>:
c
>0
,Ec
f0
c


g" Hớ MAN
6
BOAE,PB
c
0
c
:
c
>0
c

c

→

c
0
c
:
c
>:
c
>0
E,c
f0
c


a

u
b
v
89:#90;
0#
"= 6 > ữ ứ
c
#:/% )*%ệ

5J0#ị S  %  Hể ạ ở ộ
δhHΓ* × Q ×Γh→Γ* × Q ×ΓhH
δ*(ua, q, bv) = (uac, q
r
, v) )-δ(q, b) = (q
r
, c, R)
δ*(ua, q, bv) = (u, q
r
, acv) )-δ(q, b) = (q
r
, c, L)

5J00ị = 3 @-  $$"Hữ ượ ậ ở
&$'LViji∈_h"2
,
i→

a
0
a

:
 ớ ∈5X

@F 0"ụ  3  % 6)=  6 ff 1ạ ộ ủ ươ ữ ậ ư
(kl? 3 =  % ể ượ ỏ ở
89:#90;
0Y
"= 6 > ữ ứ
#:/% )*%ệ

@F 0&ụ )-()-$@- LV,ậ

0

je,X
b $$&ặ M_O2
,
!5' Hớ
LV2
,
2
0
2
:
2
<
2
;
X_LV,0cm!X5LV2
;

X
M Q6 3 E?ệ ậ
 %ạ ! " N , 

!
&2
0
c\'
> >
&2
<
m\'
>

"
&2
0
,\' &2
:
m'
>
&2
0
m\'
>

&
&2
:
,'

>
&2
,
c\' &2
:
m'
>

<
> > >
&2
<
m\' &2
;
!`'

>
> > > > >
89:#90;
0I
"= 6 > ữ ứ
#:/% )*%ệ

cS  ỗ ậ iL,,00?H
2
,
,,00 c2→
0
,00 c,2→
0

00 c2→
:
,m0 2→
:
c,m0 c2→
,
,m0 cc2→
0
m0 ccm2→
0
0 cc2→
:
mm c→
2
:
cmm cc2→
,
mm ccm2→
<
m ccmm2→
<
 ccmm2→
;
2
,
&,c\'
&mm\'
&,,\'
&mm\'
&0m'

&cc\'
&,,'
&mm'
&mm\'
&!!`'
2
0
2
:
2
<
2
;
89:#90;
:,
"= 6 > ữ ứ
#</  )-()-$ỹ ậ

@F 0<ụ ? )-()-$ể  C?:12@C?:6  61?:L=532;ư ệ ớ

 Hướ   =-)$3 )-7 7 @-@"   =-,% 0ộ ượ ướ ạ ộ ỗ ở
=-0
,,,,,0,,0,,,!LJ:<

)-()-$A%S )nHừ

F)-o6nL,

F  6nLGượ ạ


dH!
:
0!

! ]H !
:R
!
b $$&ặ M_O2
,
!5' Hớ
LV2
,
2
0
2
:
2
<
2
;
2
J
2
8
X_LV,0!X5LV2
8
X
89:#90;
:0
"= 6 > ữ ứ

#</  )-()-$ỹ ậ

cS  ỗ ậ ,,0,&:>0'?H
q
0
0010 → B q
1
010 → B0q
1
10 → B01q
2
0 → B0q
3
11 → Bq
3
011 → q
3
B011 → Bq
0
011 → BBq
1
11 → BB1q
2
1
→ BB11q
2
→ BB1q
4
1 → BBq
4

1 → Bq
4
→ Bq
6
0
M Q6 3 E?ệ ậ
4 516ạ ! " 

!
&2
0
!\' &2
J
!\'
>

"
&2
0
,\' &2
:
0\'
>

&
&2
<
0' &2
:
0\' &2

;
!'

<
&2
<
,' &2
<
0' &2
,
!\'

>
&2
;
,' &2
;
!' &2
8
,`'

%
&2
J
!\' &2
J
!\' &2
8
!`'
89:#90;

::
"= 6 > ữ ứ
#</  )-()-$ỹ ậ

cS  ỗ ậ ,0,,&0>:'?Hq
0
0100 → Bq
1
100 → B1q
2
00 → Bq
3
110 → q
3
B110 → Bq
0
110 → BBq
5
10
→ BBBq
5
0 → BBBBq
5
→ BBBBq
6
2
,

2
0

2
:
2
;
2
<
2
J
2
8
&,!\'
&0!\'
&,,\'
&00\'
&00\'
&,0'
&,,'
&00'
&!!'
&!!\'
&0!'
&,,'
&!,`'
&,!\'
&0!\'
&!!`'
89:#90;
:<
"= 6 > ữ ứ
!"#$%

0"12 3 4 516789/34ữ ạ ạ
0&166 :;/:123465ệ
0< 3 6;=;=ỹ ậ
7.3.1. K thu t l u tr trong b đi u ki nỹ ậ ư ữ ộ ề ể
7.3.2. K thu t d ch quaỹ ậ ị
7.3.3. K thu t chu trình conỹ ậ
7.3.4. S d ng nhi u rãnh trên băng ử ụ ề
0>  58 556 ?')ự ươ ươ ữ
0%(3:32;=@56 6 6A)(Bớ ộ
0#1 556; 3: C6;3ướ ứ ở
89:#90;
:;
"= 6 > ữ ứ
#</  )-()-$ỹ ậ

g C@7 %+*% ()@- %"  ?)+ ? "ệ ự ệ ả ể ủ ậ ể
 = )- 2 @* 7  =  %)-()-p=qộ ệ ệ ả ử ụ ữ ụ ươ
 Hơ

   3)*( &1W'.ư ữ ộ ể

1 7 )*Z)+&( '.ử ụ

b%7@-(D &(WW  '.ệ

 2&1W'.ị

/  6&  '.ỹ ậ
89:#90;
:J

"= 6 > ữ ứ