M tai mot thdi diem ndo do trong qud trinh tinh todn Id mot tH
y rkng, hinh thai cua ma Turing khang tai mot thdi digm
nao do dugc bieu t h i bdi mot bo sau day:
1.2 Mot vai biSn thi cua may Turing
61
{(jAui,Vi),{u2,V2),...,{uk,Vk)),
trong do vao th6i digm xem xet may d trang thai q va doi vdi m5i i,
l<i<k, noi dung trgn bang t la (ụ er*,Vie r+), con dau doc-ghi bang i dang doc ky tir dku tien cua Vị
N h u vay, mot each hokn tôn tirong t u , t a c6 the dinh nghia cdc
khai niem lien quan den may Turing nhigu bang nhu: chdp nhan til vao, ngdn ngU cua mdy, ngon ngU duac dodn nhan va ngon ngU duoc khdng dinh bdi mdy Turing nhiiu bang.
De thay dirdc sir linh hoat hon cua may Turing nhieu bang so v6i may Turing mot bang, t a hay xay dung may Turing hai bang khang dinh ngon ngfl L3. Nhir da biet trong V i du 1.1.3, ngon ngfl
nay dudc khang dinh bdi may Trring t a t dinh mot bang Ms.
V i d u 1.2.1 Hay xay dung mot may Turing hai bang khang dinh
ngon ngir L3 = {0'V\ = 1,2,...}.
May Turing hai bang Af^^) khang dinh ngon ngfl L3 dirdc xay
dung nhu sau:
;\/(2) = ( g , { o , i } , { o , i , B , 0 } , 5 , g „ , ^ „ g J ,
trong do Q = (/I, g2, ^3, -74, ^ Y , ^ N ) va ham chuygn S xac dinh
sao cho viec tinh toan tren mQi tU vao (d bang thU nhat) duoc dien ra theo trinh tU sau day: Trudc tign, danh dau dau bang thU hai
bang ky t u Jt va sao chep khuc dau gom toan ky tU 0 ciia tU v^o,
ngu C O , Ign bang thU hai; trong trudng hop ngUdc lai, bdc bọ Tiep
theo, d i chuygn dau doc-ghi so 2 ve hudng trai de so sanh cac ky t u 0 vUa dudc ghi trgn bang thU hai vdi khuc con lai cua tU vaọ ^ ' G u khuc nay gom toan ky tU 1 va vdi so ludng trung vdi so ky t u
0 tren bang thU hai t h i chap nhan; ngUdc lai, bdc bọ
Vdi muc dich vUa neu, ham chuygn 6 cua may A/^^^ dudc dinh
May Turing Thuat toan