May Turing va Thuat toan
• Bo nhd cua may Turing |
Qua nhang khao sat tren day, dac biet la til V i du 1.1.1 vrta neu,
ta nhan thay rang may Turing c6 hai bo nhd, do la bo nhd trong vk bo nhd ngoaị
Tap trang thai cua may c6 mot vi tri quan trong trong qua trinh
tinh toan va dong vai tro nhu ho nhd trong. Dung luqng bo nhd
trong cua may Turing la hiJu han.
Bang cua may la ndi thuc hien viec xijt ly tin, va tren do luon the hien ket qua xii ly ciia may tai moi thdi digm hoat dong, ke tiT
thdi digm ban dau den thdi digm ket thiic. Do vay, bang la hg nhd
ngoai cua maỵ Bo nhd nay c6 dung luong vo han ve tiem nang.
Day la di6m khac nhau cd ban giiia may Turing va otomat hflu han - mot mo hinh truyen thong vg tinh toan.
Nhu vay, may Turing khong nhiing duoc phac thao vdi nhiing
net CO ban cua no ma con duqc minh hoa cu thg trong mot trudng
hop don gian. Tuy nhien, de thuc hien nhiing nhiem vu phiJc tap đi hoi phai xay dung cac may Turing rat Idn, ta can dign ta may Turing mot each hinh thdc vdi day dii cac chi tiet cau thanh nhung van dam bao tinh ngan gon can thiet. ^
1.1.2 Dinh nghia hinh thiJc
Trong viec xay dung may Turing, khau quan trong nhat la viec xac dinh bang lenh. M6i lenh cua may Turing, ma noi dung cua no da duoc neu ro d tren, hudng dan each thilc thuc hien mot phep bien đi co ban va đng thdi tao tign dg cho phep bign đi tiep thcọ Bang lenh ciia may thuc chat la mot thg hien cua mot ham, duoc ky hieu la ^, tCf Q x T den Q x T x {L,R,S}. Cu thg, đi
vdi mdi (r/, x) G Q x F, ham 6 xac dinh tai (g, x) va nhan gia tri (r, y, H) e Q X r X {L, R, S}, tiJc 5{q, x) - (r, y, H), khi va chi khi may co lenh qxWrỵ Nhu vay, mot each hinh thiJc may Turing cd ^
thg duoc dinh nghia nhu saụ
1.1 May Turing 43
Dinh nghia 1.1.1 May Turing (Turing machine) M la mot bo
bao gom bay thanh phdn,
A/ = ( g , s , r , 5 , ^ „ , 9 , , 9 j ,
trong do