CI do lai la dau tJ Trong trudng hop nay ta thuc hien Budc 3, dich
4. Xoa moi noi dung c6 trgn ban g2 va trgn ban g3 roi quay ve Bude 2."
ve Bude 2."
• Theo each s^p xep cua thil t u tilt dien, tai Budc 2 may l l n ludt nap cac tiit chi d i n do dai 1 roi tiep den cac tiit chi d i n do dai 2 , 3 , . . . Khi chuyen tiit Budc 3 sang bude 4 c6 nghia la ta da thue hien moi each tinh toan theo cac t i i chi d i n do, tire la thuc hien xong moi nhanh tinh toan do den do sau t - chinh la do dai ciia t\t chi d i n . Nhu vay, cho den khi dat dudc hinh thai chap nhan va may diing, ta lan ludt quet moi nhanh tinh toan den do sau 1,2,3,... Do do ^ luOn mo phong dUdc Ậ
/
C h u y 1.2.5 Theo each xay dung cl chiing minh tren, d l nhien
khi nap tii chi dan do dai i + 1 t h i may M lap lai toan bo nhiing
tinh toan "niia vdi" ttrong ilng vdi cac tit con c6 do dai < t, tufc tinh toan thCtạ Hon nfla, tren tit vho ma may bac bo, tilc cay tinh toan cua N tren t\t do c6 do sau hflu han va moi nhanh cua no deu
dan den hinh thai bac bo, t h i may hf lai khong ditog bdi v i Budc 2
dudc lap lai lien tiep. D l khac phuc nhiing tinh trang nay, ta c6 thg
xay dung may M' khac mo phong theo mOt so nhanh t i n h toan ket
thiic va c6 the mot nhanh tinh toan vo han nao do cua Â, neu c6,
bang each siia d6i doi chiit may M nhu saụ Thit nhdt, d Bude 2
thay viee nap cac t i l chi dan thuoe bging viee nap cac t i i thuoc E j ( u ; ) , bao gom cac tit chi dan thich hop, tiic so hieu cua t a t ca
cac nhanh trong cay tinh toan T^iw) (Hinh 1.6). ThvC hai, them
vao cuoi Budc 3: " K h i tat ca cac tir thuoc duoc nap het va neu moi nhanh t i n h toan tuong ling deu d i n den hinh thai bac bo,
t h i bac bo", sau khi xoa bo nhiing gi lien quan den su chi d i n nijta
vdi va chi d i n khong thich hop. Song, vdi muc dich chiing minh,
viee xay dung M nhu tren la don gian hon, do khong can phai xae
dinh tap Ej(i(;) cho tifng dau vao u;.
Bay gid, tren co sd Dinh nghia 1.2.3 ve ngon ngii eiia may Turing khong t a t dinh, ta c6 the xem xet mot Idp ngon ngii quan trong, dae t r u n g cho kha nang x i i ly cua mo hmh t i n h toan naỵ
D i n h nghia 1.2.6 Cho ngon ngii L va rngt may Turing khong tat dinh N. Ta noi rang, may N dodn nhan ngon ngU L hay ngon ngU L dUdc dodn nhan bdi may N, neu L = L^.
Theo D i n h nghia 1.1.6 ve ngon ngii doan nhan dUdc, t i i Dinh ly 1.2.4 ta d i den ket luan ve kha nang doan nhan ngon ngii cua may Turing tat dinh va eiia may Turing khong t a t dinh.
H e q u a 1.2.7 Mot ngon ngU la dodn nhan duac khi va chi khi
no du0c dodn nhdn bdi may Turing khong tat dinh nao dọ •
1.3 Luan di Church-Turing vd Thudt toan 77
Ta hay xem xet kha nang khang dinh eiia may Turing khong tat
dinh doi vdi mot ngon ngii cho trudc. Theo dinh nghia, ngon ngU
khang dinh duoc la ngon ngii duoc doan nhan bdi mOt may Turing tat dinh diing (may quyet dinh) nao dọ D6i vdi may Turing khong tat dinh, neu viee tinh toan theo moi nhanh trong cay tinh toan cua may tren moi tir vao deu dan den hinh thai ket thuc (chap nhan hoac bac bo), nghia la may luon luon dirng, t h i may Turing nhu
vay cung duoc goi la may quyit dinh. Bdi vi, khi tinh toan tren
mot trt vao bat ky, may luon luon di den quyet dinh chap nhan hay bac bọ Do do may Turing khong tat dinh cung c6 kha nang khang dinh doi vdi ngon ngii cho trudẹ Ve kha nang nay, may Turing
khong tat dinh ciing chi tuong duong vdi may Turing tat dinh.
H e qua 1.2.8 Mot ngon ngU la khdng dinh du^c khi vd chi khi
no dxiac dodn nhan bdi mdy Turing khong tat dinh diCng nao dọ Chiing minh Chieu thuan la hien nhien. NgUdc lai, gia sijf ngon ngii L dude doan nhan bdi may Turing khong tat dinh diing Á^. K h i do ngon ngii L duoc doan nhan bdi may Turing tat dinh tuong
duong A f , dUdc xay dung trong Chu y 1.2.5. V i la may Turing
difng, nen ro rang Af ciing la may Turing diing, va do do L la ngon
ngii khang dinh duoc. •
1.3 L u a n de Church-Turing va T h u a t toan toan