Thông tin tài liệu
ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ TIỂU LUẬN VỀ ĐỀ TÀI: Phân biệt hai mặt trị tư tưởng giải vấn đề tôn giáo Sinh viên: Lê Sỹ Đan Mã số sinh viên: 20020044 Tiểu luận “Máy Turing” I II PHẦN MỞ ĐẦU Trang Mục lục: PHẦN NỘI DUNG MÔ TẢ VÀ ĐỊNH NGHĨA MÁY TURING (M) MÁY TURING VÀ HÀM TÍNH ĐƯỢC CÁC KỸ THUẬT XÂY DỰNG MÁY TURING III PHẦN KẾT LUẬN tieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giao Tiểu luận “Máy Turing” Trang Phần I MỞ ĐẦU Alan Turing đề xuất khái niệm máy Turing vào năm 1936 nhằm xác hố khái niệm thuật tốn Thực tế chứng tỏ máy Turing công cụ tốt để mơ tả thuật tốn Trải qua nhiều thập niên, lý thuyết máy Turing phát triển không ngừng đóng góp cơng sức nhiều nhà khoa học, có cơng trình tảng Hartmanis, Lewis, Stearns, Minsky, Blum, Hopcroft, Ullman Thực chất, máy Turing mơ hình máy Nó phân rã tồn q trình hoạt động thành bước thao tác đơn giản Bản thân máy Turing mơ hình khái qt đơn giản mơ hình hố q trình tính tốn Máy Turing xem máy với nhớ ngồi có dung lượng xem vơ hạn Trong nhớ ngồi, giá trị bố trí cho truy cập, đọc sửa đổi Ta xem máy Turing máy đốn nhận ngơn ngữ gọi ngơn ngữ đếm đệ quy Đồng thời sử dụng để mô tả lớp hàm quan trọng, gọi hàm tính tieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giao tieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giao Tiểu luận “Máy Turing” Trang Phần II NỘI DUNG MÔ TẢ VÀ ĐỊNH NGHĨA MÁY TURING (M) 1.1 Mô tả trực quan Máy Turing có nhiều mơ hình định nghĩa khác cho máy Turing tất chúng tương đương Song, nói chung mơ hình máy Turing gồm : - Một điều khiển hữu hạn - Một băng chia thành ô, ô giữ ký hiệu số hữu hạn ký hiệu băng (các ký hiệu phép viết băng) - Một đầu đọc-viết, lần đọc duyệt qua băng để đọc hay viết ký hiệu Ở đây, ta xét lớp máy Turing đơn định với băng vô hạn hai đầu B B a1 a2 … … an B B Đầu đọc/ghi q Trạng thái Hình Các phận máy Turing Với B (Blank) ký hiệu trắng băng ký hiệu nhập Mỗi bước chuyển máy Turing, phụ thuộc vào ký hiệu đầu đọc đọc băng trạng thái điều khiển, máy thực bước sau : 1) Chuyển trạng thái 2) In ký hiệu băng ô duyệt (nghĩa thay ký hiệu đọc băng ký hiệu đó) 3) Dịch chuyển đầu đọc-viết (sang trái (L), sang phải (R) đứng yên(∅)) Xâu vào chấp nhận trình thực xâu đạt đến trạng thái kết thúc 1 1 B B 1 B B => q Hình Một bước chuyển dịch 1.2 Định nghĩa Định nghĩa 1: Máy Turing đơn định bảy M = , đó, tieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giao q tieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giao Tiểu luận “Máy Turing” Trang Q tập hữu hạn khác rỗng, gọi tập trạng thái; bảng chữ, gọi bảng chữ vào hay bảng chữ trong; bảng chữ, , gọi bảng chữ hay tập ký hiệu ghi lên băng; : D Q x x {R, L}, với DQ x R, LQ x , gọi ánh xạ chuyển; s0Q, gọi trạng thái đầu; B \ , gọi ký hiệu trắng; FQ, gọi tập trạng thái kết thúc Trong trường hợp miền giá trị P(Q x x {R, L}) máy Turing gọi khơng đơn định trường hợp ôtômat, lớp ngơn ngữ đốn nhận máy Turing đơn định không đơn định trùng Định nghĩa 2: Cho máy Turing M = Bộ ba , , *, sQ, a, không bắt đầu không kết thúc B, gọi cấu hình M a gọi từ ứng với cấu hình cho Mỗi cấu hình M thời điểm xét, nội dung từ ghi băng gì, máy đọc ký hiệu trạng thái nào? Cấu hình máy Turing M mơ tả hình vẽ sau đây: B B a Đầu đọc/ghi B B Băng vô hạn hai đầu Tập trạng thái điều khiển Hình Cấu hình máy Turing Bộ ba , a, *, gọi hình trạng đầu (có từ ứng với a) Định nghĩa 3: Cho máy Turing M = Dưới tác động ánh xạ chuyển trạng thái , cấu hình dịch chuyển đến cấu hình M, M ký hiệu hay đơn giản , theo nguyên tắc sau đây: 1) (s, a)=: a) =c1, c, 1*: + B a c s + , b{B}*, 1 B B , b{B}*, tieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giao b c q 1 B tieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giao Tiểu luận “Máy Turing” B a Trang c B 1 B B c B 1 q s b) =: + = B a s + = B a B B B B , b{B}*, B B , b{B} , B B B B d 1 a + b) =: B a B B B B d 1 B 1 b B q B B B B B q , Bb{B}*, B B b B q + = B B s s B B q , db{B} , + = B B B * B a B 1 B , db{B}*, s B B q * s 2) (s, a)=: a) =1d, d, 1*: + b a B , Bb{B}*, B B B B B q s tieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giao B B B B B tieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giao Tiểu luận “Máy Turing” Trang Dãy cấu hình i (1in) máy Turing M cho (1in-1) i+1 gọi i M q trình tính toán M, ký hiệu hay 1 đơnngiản 1 n Các cấu hình khơng thể chuyển đến cấu hình gọi cấu hình cuối Q trình tính tốn bắt đầu cấu hình đầu kết thúc cấu hình cuối gọi trình tính tốn hồn chỉnh Định nghĩa 4: Cho máy Turing M = * Ta nói M đốn nhận tồn q trình tính tốn hồn chỉnh với qF Tập hợp từ đốn nhận máy Turing M gọi ngơn ngữ đốn nhận M, ký hiệu T(M) Ngơn ngữ đốn nhận máy Turing cịn gọi ngôn ngữ đệ quy đếm (Recursively Enumerable) Ngôn ngữ đốn nhận máy Turing mà dừng sau số hữu hạn bước từ vào gọi ngôn ngữ đệ quy Từ định nghĩa suy ngôn ngữ đệ quy ngôn ngữ đếm đệ quy * Chú ý: Sự hoạt động máy Turing thể ánh xạ chuyển Ánh xạ mô tả bảng đồ thị chuyển Bảng gồm cột đánh dấu ký hiệu dòng đánh dấu trạng thái Nếu (s, a)=, với a, b, s, qQ, C{R, L} ba ghi vào ứng với dịng s cột a Đồ thị chuyển đa đồ thị có hướng, có khuyên G với tập đỉnh G Q Với a, b, s, qQ, C{R, L}, (s, a)= có cung từ s đến q với nhãn Ví dụ 1: Cho máy Turing: M = , (s0, 0)=, (s0, 1)=, (s1, 0)=, (s1, 1)=, (s1, B)=, (s2, 0)=, (s2, 1)=, (s2, B)=, (s3, 0)=, (s4, 1)=, (s5, 0)=, (s5, 1)=, (s5, X)=, (s6, 0)=, (s6, 1)=, (s6, X)= Ánh xạ chuyển cho bảng sau: B X S0 S1 S2 S3 tieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giao tieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giao Tiểu luận “Máy Turing” Trang S4 S5 S6 Đồ thị chuyển M là: s4 s6 s2 s0 s5 s1 s Ta xem máy Turing M hoạt động thế3 từ 001 1001 Đối với từ 001, ta có dãy hình trạng: s không hình trạng cuối, trạng thái kết thúc, M khơng đốn nhận từ 001 Đối với từ 1001, ta có dãy hình trạng: hình trạng cuối s0 trạng thái kết thúc nên từ 1001 đoán nhận máy Turing M Từ đồ thị chuyển dễ dàng thấy M hoạt động với xâu vào sau: M đọc xâu từ trái sang phải Bắt đầu từ trạng thái s0, thay ký hiệu đọc ký hiệu X, đồng thời ký hiệu vừa đọc chuyển sang trạng thái s1 ngược lại chuyển sang trạng thái s2 Tại trạng thái s1 s2, máy M chuyển đầu đọc qua phải mà không thay đổi ký hiệu đọc gặp ký hiệu B Từ s1 máy chuyển sang s3 từ s2 máy chuyển sang s4 Từ s3 gặp xố sang s5, từ s4 gặp xố sang s6 Ở đây, ta cần lưu ý xoá trường hợp xuất phát từ s0, máy thay X xoá trường hợp xuất phát từ s0, máy thay X Tại trạng thái s5 s6, máy dịch chuyển qua trái mà không làm thay đổi ký hiệu băng gặp ký hiệu X, máy quay trở lại s0 tiếp tục trình máy dừng trường hợp sau: Máy trạng thái s3 gặp trạng thái s4 gặp Trong trường hợp rõ ràng ban đầu khơng có dạng -1 máy khơng đốn nhận từ tieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giao tieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giao Tiểu luận “Máy Turing” Trang Máy trạng thái s0 gặp ký hiệu B Điều có nghĩa ký hiệu 0, băng thay X B Điều xảy xâu vào có dạng -1 Vậy T(M)={-1 | {0, 1}*} MÁY TURING VÀ HÀM TÍNH ĐƯỢC Định nghĩa 5: Cho máy Turing M = Hàm xác định máy Turing M hàm: q trình tính tốn hồn chỉnh * Ví dụ Cho ởhàm đâyf()=B ({0, 1} ) Ta xây dựng máy Turing M xác định hàm f sau:M = ,trong ánh xạ chuyển ratồn đồ thị chuyển đây: s8 s7 s0 s3 s6 s1 s4 s2 s5 M hoạt động sau: Ký hiệu được thay X Y tuỳ thuộc vào ký hiệu hay 1, sau đầu đọc/ghi chuyển sang phải để tìm ký hiệu B, thay ký hiệu B tuỳ thuộc trước ghi x hay Y Sau chạy ngược lại để tìm ký hiệu X hay Y thay tương ứng lại chuyển sang phải Nếu ký hiệu B tính tốn kết thúc, ngược lại lặp lại trình Dễ dàng thấy rằng, sau vòng thực ký hiệu ghi sang bên phải q trình tính tốn kết thúc băng B hay fM=B Định nghĩa 6: Cho hàm f: D N, với N tập số tự nhiên, DNm m số nguyên dương Ở đây, với số tự nhiên n, ký hiệu =1n+1 Ta nói hàm f tính máy Turing tồn máy Turing M xác định hàm sau: h(B B … B )= f(x1, x2, …, xm) tồn hữu hạn Một ký hiệu băng xét gồm k ký hiệu, ký hiệu nằm rãnh Ví dụ 5: Thiết kế M nhận vào số nguyên n (viết dạng nhị phân) kiểm tra xem có phải số nguyên tố hay khơng ? Ta dùng băng rãnh hình với nguyên tắc sau : Số n dạng nhị phân đưa vào rãnh bao cặp dấu ⊄ $ Như ký hiệu phép ghi băng [⊄, B, B], [0, B, B], [1, B, B] [$, B, B] Các ký hiệu tương ứng với ⊄, 0, 1, $ xem chúng ký hiệu nhập Ký hiệu Blank [B, B, B] Viết số dạng nhị phân rãnh (tức 10) Chép rãnh vào rãnh sau lấy rãnh trừ rãnh nhiều lần (thực việc chia số cần kiểm tra cho số rãnh 2, lấy phần dư) Xét số lại (số dư) : - Nếu số cịn lại input khơng số ngun tố (vì chia hết cho số rãnh 2) - Nếu số cịn lại khác tăng số rãnh thêm đơn vị: số rãnh số rãnh (số n) input n số nguyên tố n không chia hết cho số từ đến n -1 Nếu số rãnh nhỏ số rãnh ta lặp lại trình với số rãnh Hình Máy Turing với băng rãnh Hình mơ tả TM với k = 3, kiểm tra số n = 47 viết rãnh dạng nhị phân, TM thực phép chia 47 cho Nó trừ lần số vào số 47, rãnh có số 37 3.3 Đánh dấu ký hiệu (Checking off symbols) Kỹ thuật đánh dấu thường dùng để nhận diện ngôn ngữ định nghĩa cách lặp lại chuỗi chẳng hạn {ww | w ∈ Σ*}; {wcy | w, y ∈ Σ*, w ≠ y} tieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giao tieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giao Tiểu luận “Máy Turing” Trang 11 {wwR | w ∈ Σ*} ngơn ngữ có độ dài chuỗi cần so sánh, {aibi | i ≥ 1} {aibjck | i = j j = k} Ta dùng rãnh mở rộng băng để giữ ký hiệu đánh dấu √ Ký hiệu √ xuất ký hiệu rãnh bên xét TM Ví dụ : Xét máy Turing M (Q, Σ, , δ, q0, B, F) nhận diện ngơn ngữ L có dạng {wcw | w ∈ (a+b)+} với thành phần sau : Q = {[q, d] | q = q1, , q9 d = a, b B} = {q1, , q9} × {a, b, B} (thành phần thứ hai trạng thái dùng để lưu trữ ký hiệu nhập) Σ = {[B, d] | d = a, b, c} (ký hiệu nhập [B, d] xác định d) = {[X, d] | X = B √ ; d = a, b, c B} q0 = [q1, B] B = [B, B] định nghĩa B, ký hiệu Blank F = {[q9, B]} Với d = a b; e = a b, ta định nghĩa hàm chuyển δ sau: 1) δ([q1, B], [B, d]) = ([q2, d], [√, d], R) M đánh dấu ký hiệu duyệt băng, lưu trữ vào điều khiển dịch chuyển sang phải 2) δ([q2, d], [B, e]) = ([q2, d], [B, e], R) M tiếp tục dịch phải ký hiệu chưa đánh dấu tìm c 3) δ([q2, d], [B, c]) = ([q3, d], [B, c], R) Khi tìm thấy c, M vào trạng thái mà thành phần q3 4) δ([q3, d], [√, e]) = ([q3, d], [√, e], R) M dịch phải qua ký hiệu đánh dấu 5) δ([q3, d], [B, d]) = ([q4, B], [√, d], L) M gặp ký hiệu chưa đánh dấu Nếu ký hiệu chưa đánh dấu giống với ký hiệu lưu điều khiển M đánh dấu dịch trái Nếu ký hiệu không giống ký hiệu lưu điều khiển M khơng dịch chuyển không chấp nhận input M dừng trạng thái q3 gặp ký hiệu [B, B] trước gặp ký hiệu chưa đánh dấu 6) δ([q4, B], [√, d]) = ([q4, B], [√, d], L) M dịch trái ký hiệu đánh dấu 7) δ([q4, B], [B, c]) = ([q5, B], [B, c], L) M gặp ký hiệu c 8) δ([q5, B], [B, d]) = ([q6, B], [B, d], L) Nếu ký hiệu bên trái c chưa đánh dấu M tiến sang trái để tìm ký hiệu bên phải đánh dấu 9) δ([q6, B], [B, d]) = ([q6, B], [B, d], L) M tiếp tục dịch chuyển sang trái 10) δ([ q6, B], [√, d]) = ([q1, B], [√, d], R) M gặp ký hiệu đánh dấu, dịch phải để lấy ký hiệu chưa đánh dấu bên cạnh tiếp tục vịng lặp so sánh Khi đó, thành phần thứ lại trở thành q1 11) δ([q5, B], [√, d]) = ([q7, B], [√, d], R) tieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giao tieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giao Tiểu luận “Máy Turing” Trang 12 M trạng thái [q5, B] sau vượt sang trái c Nếu ký hiệu xuất trước c đánh dấu tất ký hiệu trước c đánh dấu M phải kiểm tra xem bên phải c cịn có ký hiệu chưa đánh dấu hay khơng Nếu khơng cịn ký hiệu M chấp nhận input 12) δ([q7, B], [B, c]) = ([q8, B], [B, c], R) M dịch sang phải c 13) δ([q8, B], [√, d]) = ([q8, B], [√, d], R) M tiếp tục dịch sang phải ký hiệu đánh dấu 14) δ([q8, B], [B, B]) = ([q9, B], [√, B], ∅) M tìm gặp Blank, dừng chấp nhận chuỗi Nếu M gặp ký hiệu chưa đánh dấu thành phần thứ q8 dừng khơng chấp nhận 3.4 Dịch qua (Shifting over) Máy Turing tạo không gian trống băng cách dời ký hiệu không trống băng sang phải hữu hạn Để làm điều đầu đọc phải thực dịch phải, lặp lại việc lưu ký hiệu đọc vào điều khiển thay chúng ký hiệu đọc ô bên trái Nếu có đủ trống, TM chuyển dịch khối ký hiệu sang trái cách tương tự Ví dụ7: Xây dựng TM M(Q, Σ, , δ, q0, B, F) dịch tồn ký hiệu khơng trống băng sang phải ô Ta giả sử Blank ký hiệu khơng trống, đầu đọc gặp Blank dịch xong ký hiệu khác trống băng Tập trạng thái Q chứa phần tử dạng [q, A1, A2] với q = q1 q2 A1, A2 ∈ Gọi X ký hiệu đặc biệt chấp nhận băng M, khơng sử dụng với mục đích khác ngồi q trình dịch chuyển băng M bắt đầu với trạng thái [q1, B, B] hàm chuyển thực sau: Với Ai ∈ - {B, X} 1) δ([q1, B, B], A1) = ([q1, B, A1], X, R) M lưu ký hiệu đọc vào thành phần thứ điều khiển, ghi X vào ô đọc dịch sang phải 2) δ([q1, B, A1], A2) = ([q1, A1, A2], X, R) M chuyển ký hiệu thành phần thứ sang thành phần thứ 2, lưu trữ ký hiệu đọc vào thành phần thứ 3, viết X vào ô đọc dịch sang phải 3) δ([q1, A1, A2], A3) = ([q1, A2, A3], A1, R) Bắt đầu từ bước chuyển này, M đọc vào ký hiệu, ghi vào thành phần thứ 3, chuyển ký hiệu ghi trước thành phần thứ sang thành phần thứ 2, chép lại ký hiệu thành phần thứ vào ô đọc dịch sang phải 4) δ([q1, Ai - 2, Ai – 1], Ai) = ([q1, Ai - 1, Ai], Ai - 2, R) 5) δ([q1, An - 1, An], B) = ([q2, An, B], An - 1, R) Cho đến M gặp B, dốc nốt ký hiệu cuối giữ nhớ để bắt đầu vào trạng thái kết thúc 6) δ([q2, An, B], B) = ([q2, B, B], An, L) tieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giao tieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giao Tiểu luận “Máy Turing” Trang 13 Cuối cùng, tất ký hiệu không trống băng chuyển dịch sang phải Lúc chuyển sang trạng thái (có thể quay trái, trở đầu băng) để thực chức khác 4.CÁC DẠNG KHÁC CỦA MÁY TURING 4.1 Máy Turing có băng vơ hạn đầu Máy Turing có băng vơ hạn đầu tương tự máy Turing có băng vô hạn hai đầu, khác băng vào mở rộng vơ hạn phía bên phải a1 a2 … … an B B Đầu đọc/ghi q Trạng thái Hình Máy Turingcó băng vơ hạn đầu Định lý : Nếu L nhận diện TM với băng vơ hạn hai chiều L nhận diện TM vô hạn chiều băng Chứng minh Gọi M2 TM với băng vô hạn hai chiều M2 (Q2, Σ2, 2, δ2, q2, B, F2) nhận diện L Ta xây dựng M1 TM vô hạn chiều băng nhận diện L Băng M1 có rãnh: - Rãnh biểu diễn cho băng M2 phía phải đầu đọc lúc khởi đầu - Rãnh biểu diễn cho băng phía trái đầu đọc lúc khởi đầu theo thứ tự ngược lại (a) - Băng M2 (b) - Băng M1 Hình Băng nhập TM M2 M1 M1 thực phép chuyển tương tự M2 M2 thực phép chuyển phía phải đầu đọc M1 làm việc với rãnh trên, M2 thực phép chuyển bên trái đầu đọc M1 làm việc rãnh Một cách hình thức M1 (Q1, Σ1, 1, δ1, q1, B, F1), : Q1 tập hợp đối tượng dạng [q, U] [q, D], q trạng thái Q2, U, D dùng M1 làm việc với rãnh (Up) hay rãnh (Down) Các ký hiệu băng M1 (các ký hiệu thuộc 1) có dạng [X, Y] X, Y thuộc 2, Y ⊄ ký hiệu khơng có 2 dùng để đánh dấu trái băng M1 Σ1 tập hợp đối tượng dạng [a, B] a ∈2 F1 = {[q, U], [q, D]| q ∈ F2} tieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giao tieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giao Tiểu luận “Máy Turing” Trang 14 Hàm chuyển δ1 có dạng sau: 1) δ1(q1, [a, B]) = ([q, U], [X, ⊄], R) δ2(q2, a) = (q, X, R) Nếu M2 chuyển sang phải lần chuyển M in ⊄ rãnh dưới, ghi nhớ U vào thành phần thứ hai trạng thái dịch phải Thành phần thứ trạng thái lưu trạng thái M2 M1 in X (ký hiệu mà M2 in ra) rãnh 2)Với a ∈ Σ2 U {B} : δ1(q1, [a, B]) = ([q, D], [X, ⊄], R) δ2(q2, a) = (q, X, L) Nếu M2 chuyển sang trái lần chuyển M1 in ⊄ rãnh dưới, ghi nhớ D vào thành phần thứ hai trạng thái dịch phải Thành phần thứ trạng thái lưu trạng thái M2 M1 in X (ký hiệu mà M2 in ra) rãnh 3) Với [X, Y] ∈1, với Y ≠ ⊄ A = L R : δ1([q, U], [X, Y]) = ([p, U], [Z, Y], A) δ2(q, X) = (p, Z, A) M1 rãnh thực tương tự M2 4) δ1([q, D], [X, Y]) = ([p, D], [X, Z], A) δ2(q, Y) = (p,Z,A) (Trong A = L A = R A = R A = L) Ở rãnh dưới, M1 làm tương tự M2 dịch chuyển đầu đọc theo hướng ngược lại 5) δ1([q, U], [X, ⊄]) = δ1([q, D], [X, ⊄]) = ([p, C], [Y,⊄], R] δ2(q, X) = (p, Y, A) (Trong C = U A = R, C = D A = L) M1 làm tương tự M2 ô khởi đầu, công việc M1 thực rãnh hay phụ thuộc vào hướng chuyển đầu đọc M2 4.2 Máy Turing nhiều băng vô hạn hai đầu Xét máy Turing có điều khiển có k đầu đọc k băng vô hạn hai chiều Mỗi phép chuyển máy Turing, phụ thuộc vào trạng thái điều khiển ký tự đọc đầu đọc, thực bước sau : 1) Chuyển trạng thái 2) In ký hiệu đầu đọc để thay ký hiệu vừa đọc 3) Đầu đọc giữ ngun vị trí dịch trái dịch phải ô cách độc lập Khởi đầu input xuất băng thứ nhất, băng khác toàn Blank Một máy Turing gọi máy Turing với nhiều băng vô hạn hai chiều Định lý : Nếu L nhận dạng máy Turing nhiều băng vô hạn hai chiều nhận dạng máy Turing băng vô hạn hai chiều Chứng minh Giả sử L nhận diện máy Turing k băng vô hạn hai chiều M1, ta xây dựng máy Turing M2 băng với 2k rãnh, rãnh mô băng M1 cách: rãnh giữ ký hiệu băng M1 rãnh giữ ký hiệu đánh dấu vị trí đầu đọc Mỗi phép chuyển M1 mô M2 sau: M2 xuất phát vị trí trái chứa ký hiệu đánh dấu đầu đọc, M2 quét sang phải, qua có đánh dấu vị trí đầu đọc ghi nhớ ký hiệu vị trí đếm tieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giao tieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giao Tiểu luận “Máy Turing” Trang 15 số vị trí đầu đọc gặp Khi M2 sang phải đếm đủ k đầu đọc có đủ thơng tin để xác định phép chuyển tương tự M1, M2 lại quét từ phải sang trái, ngang qua có đánh dấu đầu đọc in ký hiệu thay ký hiệu đầu đọc (như M1) chuyển vị trí đánh dấu đầu đọc (như M1 chuyển đầu đọc nó) Cuối M2 đổi trạng thái điều khiển thành trạng thái mà M1 chuyển tới Đầu đọc Băng Đầu đọc Băng Đầu đọc Băng A1 B1 X C1 X A2 … B2 … X Bi … … C2 … Ci … Am Bm Cm Hình Máy Turing băng mơ máy Turing băng 4.3 Máy Turing không đơn định Máy Turing khơng đơn định có mơ hình tương tự mơ hình gốc điểm khác biệt chỗ lần chuyển, máy Turing lựa chọn số hữu hạn trạng thái kế tiếp, lựa chọn hướng chuyển đầu đọc, lựa chọn ký hiệu in băng để thay ký hiệu vừa đọc Máy Turing mô hình gốc cịn gọi máy Turing đơn định Định lý 3: Nếu L chấp nhận máy Turing khơng đơn định M1 L chấp nhận máy Turing đơn định M2 Chứng minh Với trạng thái ký hiệu băng M1, có số hữu hạn phép chuyển đến trạng thái kế tiếp, ta đấnh số trạng thái 1, 2, Gọi r số lớn số cách lựa chọn với cặp trạng thái ký kiệu Ta có, dãy phép chuyển trạng thái dãy chứa số từ đến r Ngược lại dãy hữu hạn gồm số từ đến r biểu diễn cho dãy phép chuyển khơng M2 thiết kế có ba băng: Băng chứa input tieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giao tieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giao Tiểu luận “Máy Turing” Trang 16 Băng sinh dãy chứa số từ đến r cách tự động theo tính chất dãy ngắn sinh trước, dãy độ dài sinh theo thứ tự liệt kê số (numerical order) Băng dùng chép input băng vào để xử lý: với số sinh băng 2, M2 chép input băng vào băng thực phép chuyển theo dãy số băng Nếu có chuỗi băng làm cho M2 vào trạng thái kết thúc M2 dừng chấp nhận input Nếu khơng có chuỗi M2 khơng chấp nhận input Tất nhiên M2 chấp nhận input M1 chấp nhận input tieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giao tieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giao tieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giaotieu.luan.ve.de.tai.phan.biet.hai.mat.chinh.tri.va.tu.tuong.trong.giai.quyet.van.de.ton.giao
Ngày đăng: 08/01/2024, 00:48
Xem thêm:
