6 tren bang, c6 nhiem vu doc ky t u d 6 do roi thong bao cho bo phan
dieu khien de dudc chi dan thay ky t u do hKng mot ky t u khac,
va sau do c6 t h i chuygn sang o ben canh 6 ben traí hoac ben phai
1.1 May Turing 37
(tUdng duong vdi viec dich chuygn bang sang phai hoac sang trai
mOt 6). Tai thdi digm t = 0, dau doc-ghi soi xet o dau tien.
o Bo phan dieu khien c6 mot tap hiiu han cac trang thai Q, va tai mdi thdi digm hoat dong no chi d mot trang thaị Tap Q chuta
ba trang thai dac biet q„, va q^, trong do q^ la trang thai cua bo phan dieu khign tai thdi digm ^ = 0 ngn duoc goi la trang thdi
ban d&u {start state), q^ la trang thdi chap nhan {accept state)
va (/N trang thai bdc bo {reject state). Day la hai trang thai
khi may diTng hoat dong ngn con dUdc goi la trang thdi kit thuc
{final state). Co thg noi rang, bo phan dieu khign c6 nhiem vu dieu
hanh moi hoat dong cua may theo bang lenh dUdc cai dat san.
Bang lenh cud, may bao gom cac lenh dang gxHry, trong do q
va r la cac trang thai thuoc Q, x va y la cac ky t u thuoc F, con H 6 { L , R , S}. Lenh qx\{ry c6 noi dung nhir sau: Bo phan dieu khign chuygn tir trang thai hien thdi q sang trang thai r, va dau
doc-ghi thay ky t u x ci 5 no dang nhin bang ky t u y rdi di chuygn
sang trai mot 6, sang phai mot o hay đng yen tuy thuoc H = L, H = R hay H = S. Bang lenh can duoc xac dinh mot each chuin xac va dam bao muc dich tinh toan cua maỵ
• N g u y e n tSc h o a t d o n g
.Vao thdi digm ban dau, trang thai cua bo phan dieu khign, viec nap
da lieu dau vao va v i t r i ciia dau doc-ghi duoc xac dinh theo quy
udc nhu da ngu tren. Qua trinh x i l ly t i n tren mSi dfl lieu dau who
duoc dien ra theo cac lenh cua maỵ Tai mdi thdi digm hoat dong,
khi bo phan dieu khign 5 trang thai q va dau doc-ghi doc duoc ky t u X trgn bang, ngu may c6 lenh vdi khuc dau qx, t h i may thuc
hien theo lenh do vdi noi dung noi trgn. Trong trudng hdp khong
CO lenh nao nhu vay, may diing hoat dong. Viec thuc hien mot lenh
cua may dUdc dien ra trong khoang thdi gian giiia hai thdi d i i m
ke tiep nhau, va dUdc goi la phep biin dSi {step), hay con dudc goi la phep biin dSi cd ban, cua maỵ Ro rang, day la mot phep
38 M a y T u r i n g va T h u a t t o a n k h i m a y c6 t h e d i dgn n h f l n g q u y e t d i n h cuoi c i i n g d 6 i v d i du" Ucu k h i m a y c6 t h e d i dgn n h f l n g q u y e t d i n h cuoi c i i n g d 6 i v d i du" Ucu
d a u vaọ Du: Ueu d a u vao duoc chap nhan hay bdc ho t u y t h u o c
vao su t h i m a y diitng cl t r a n g t h a i hay 6 t r a n g t h a i q^ k h i q u a
t r i n h xijt l y ket t h u c . T r o n g t r u d n g hdp k h i k h o n g den d u o c t r a n g t h a i kgt t h u c , q u a t r i n h t i n h t o a n c u a m a y t r e n d a u vao se k h o n g bao g i d d i r n g . . . . :
M o i m a y T u r i n g duoc xay d i r n g deu n h ^ m t h i r c h i e n m o t muc t i e u nao dọ T r o n g so cac t h a n h p h a n c i u t a o cua may, b a n g l e n h d o n g vai t r o q u a n t r o n g t r o n g viec thirc hien m u c t i e u d a d i n h va CO a n h h u d n g r a t Idn den hieu qua xijf l y t i n cua maỵ D6 t i r n g budc t i m h i g u m o t each can ke ve may T u r i n g , t a hay b a t d a u t i r viec xay d u n g m o t m a y T u r i n g d o n gian d6 d a m dUdng m o t n h i e m v u
t a m t h i r d n g nao dọ •
V i d u 1.1.1 H a y x a y d u n g m o t m a y T u r i n g A f i d i k i g m t r a t i n h can x i l n g cua cac t i t t r e n b a n g chi5 E cho t r u d c .
Til can xUng, hay diep til ( p a U n d r o m e ) , l a t i l se k h o n g t h a y d o i
k h i t a dao n g u c e t h i i t i r cac k y t u cua no, t i l c w = t h i d u n h u
t i t madam. N h u vay, tijt r o n g va cac tiit g o m m o t k y t i i l a cac d i e p t i l . T h e o q u y d i n h , m a y p h a i xijt l y m o i t i l thuOc E*. H o n nfla,
k h i t i n h t o a n t r e n t i l v^o w G E*, may Mi se dijtng 5 t r a n g t h i i chap n h a n neu w l a d i e p t i r va d i t n g 6 t r a n g t h a i bac b o q^ t r o n g
t r i t d n g h d p ngudc l a i . Trirde k h i xay d u n g m a y A/i, t a thiJt d a t m i n h vao d i a v i cua m a y dg x e m c6 each nao k i g m t r a t i n h can x i i n g cua
m o t t i l vao b a t k y to = a - i a 2 . . . cr„_icr„. Co le d d n g i a n n h a t l a Ian
l u d t so sanh t i l n g cap cac k y t u d cac v i t r i d o i x i l n g n h a u , tiife cap
(cTj, c r n _ i + i ) v d i i = 1 , 2 , — N e u chung khac n h a u t h i bac b o t i l
vao; t r o n g t r u d n g h d p g i o n g n h a u , t a xoa c h i i n g d i r o i l a p l a i q u a t r i n h so sanh cho den k h i k h o n g con k y t u nao hoac k h i c h i con m o t k y t u , va k h i do t i l vao dudc chap n h a n . K h a n a n g " k h i chi c6n m o t k y t u " v i t a ngu t u d n g iJng v d i t i l vao can x i l n g d o d a i le, con k h a n a n g k i a utng v d i t i t can x i l n g do d a i chan, kg ca t i l r o n g .
ịl May Turing 39
T a b a t d a u x a y d u n g may A/j thco y t u d n g n h u vay, t r o n g do dieu d a n g l u u y l a k h i t i e n h a n h m o t cong d o a n so sanh, m a y xoa k y t u ben t r a i n h a t (tUc t h a y no bang k y t u 0 ) va can n h d k y t u do de so sanh v d i k y t u ben p h a i n h a t . V i e c n h d m o t k y t u d a xoa CO t l i g t h u c h i e n dUdc n h d t r a n g t h a i cua maỵ V d i giai p h a p nay,
bang chU F va t a p t r a n g t h a i Q cua may A A c6 t h g dudc d i n h n g h i a
n h u n h u n g t a p sau day: r = E u { 0 } ,
C u o i Cling, d o i v d i b a n g lenh cua may, d6 t i e n t h e o d o i t a xae lap va p h a n c h i a cac lenh t h a n h nhUng n h o m theo chile n a n g n h u saụ
1. X o a k y t u khac 0 bgn t r a i n h a t t r g n b a n g neu c6. D i chuygn d a u d o c - g h i sang p h a i de t i m k y t u khac 0 b e n p h a i n h a t :