V sao cho khong mot sinh vign nao thi hai mon trong ciing mpt • bu6ị Noi dung bai toan bao gom viec xac dinh xem lieu c
d a yn la bigu ign nhi phan cua n;
khong xdc dinh, trong trirdng hop nguoc laị
Hay xay dung mot may Turing tat dinh mot bang tinh ham g
va xac dinh dO phiic tap khong gian cua maỵ
De tinh ham g, ta xay dilng mfiy Turing tat dinh mot bang f- sao cho, khi tinh toan tren nhflng tif vao 1" vdi n > 0, may chuy§n tir hinh thai ban dau ^ ^ . l " den hinh thai chap nhan q^ii, va no rieng vdi n = 0, may chuyen t i i hinh thai ban dau q^Q den hinh thai chap nhan q^O; con trong cdc trudng hop khac, may chuySi dgn hinh thai bac bọ Ta c6 t h i coi B nhu la mot may ma hoa- thuc hien viec bien đi cac so nguyen khong am til dang nhat pha I
sang dang nhi phan.
3.1 Do phiic tap khong gian cua cdc may Turing 2111
May Turing R duoc xay dung theo nguyen t^c dim trong he nhi
phdn so cdc ky t u 1 cua tH vho 1". Qua trinh tinh tokn cua may B bao gom cdc cong doan sau daỵ Trudc tien, may loai bo cac tit vho khong c6 dang 1" vdi n > 1. Tiep theo, doi vdi nhUng tit vao
dang 1", danh dau ^ ngay sau ky t u 1 cuoi ciing de ngan each dQ
lieu dau vao vdi ket qua tinh toan tiic thdi, roi thuc hien mot quy
trinh lap ma moi budc lap bao gom viec x6a ky t u 1 d dau ben trai cua tiJt CO tren bang va cong them 1 don vi vao ket qua tinh toan tiic thdi trong he nhi phdn (phep cong trong he nhi phan hoan toan
tUOng t u nhu trong he thap phan quen thuoc va duqc thuc hien d
Budc 2 cua may B).
Mot chi tiet ky thuat d day can duoc luu y rang, do khd xdc
dinh. dUdc cu thg v i t r i 6 duoc diing dg ghi hang don v i cua kgt qua
cu6i ciing h, cho nen k i t qua tiic thdi duoc bigu dign dudi dang tir ngUdc bat dau t i i o ngay sau dau (t- Theo do, sau k budc lap (1 < A; < n), bang cua may B cd noi dung:
k n-k
trong d6 fc^ la nguac cua tiJt k.
Cuoi ciing, sau khi n budc lap dudc thuc hien (khi ay bang c6
noi dung la, ttn^), may dao ngUdc fi^ sang ben trai dau (t de thu
duoc ket qua mong muon h.
De riit gon qua trinh tinh toan, may B tien hanh loai bo cac
til vao khong cd dang 1" dong thdi vdi viec thuc hien budc lap dau
tien. Cu thg, may B duoc xay dung nhu sau:
B = (g,E,r,(5,go,9v> 9 N ) .
trong do tap trang thai Q = {qo, 9 i , • • •, 94, 95, Qh Qe, Qi, Qy, q^}, bang chU dau vao E = {0,1}, bang chU bang T = {0,1, ((, <S>, 0 } va ham chuygn 6 duoc dinh nghIa nham thuc t h i tCrng budc tinh toan
2 1 2 Do phxxc tap khong gian 1 . Thac hien birdc iSp d a u tien (bao gom viec x6a ky t u 1 d a u t r a i cua t i t vao, tao ranh gidi ngSn each b d i dau jj va ghi 1 vko o ngay sau dau ngan cdch), dong thdi loai bo nhflng tvi who khong c6 dang 1 " vdi n > I ; t i n h gia t r i (/(l") trong trudng hop ca biet k h i n = 0 , tiic gia t r i g{e) cua ham g t a i
^ tijr rong e: .
l a . Thitc hign budc lap dau tien
V % o , i ) = ( 9 i, 0, R ) % i , i ) = ( 9 i , i , R ) ' ^ ( ? i, 0 ) = (92,tt,R) % 2 , 0 ) = ( g 3 , i, L )
<5(93,tt) = (93,tl,L) % 3, l ) = ( g 3, l , L ) ;
l b . Loai bo t a t ca cac tit vao khong c6 dang 1 " , tiic nhiing
ta bat dau bdi ky t u 0 va nhiing t i t ma sau ky t i t 1 v l n
CO ky t u 0
6{qo,0) = {q,,0,S) % i , 0 ) = (g^,0,S);
I c . T i n h gia t r i g{e)
S{qo,(Z)) = iq^,0,S).