ĐẢNG BỘ TỈNH HÀ NAM LÃNH ĐẠO GIẢI QUYẾT VIỆC LÀM CHO LAO ĐỘNG NỮ Ở NÔNG THÔN TỪ NĂM 1997 ĐẾN NĂM 2013

TRƯỜNG ĐẠI HỌC ĐỒNG THÁP KHOA CÔNG NGHỆ THÔNG TIN oOo ---BÁO CÁO TIN HỌC LÝ THUYẾT Tên Đề Tài: THIẾT KẾ MÁY TURING CHẤP NHẬN NGÔN NGỮ LG GIẢNG VIÊN HƯỚNG DẪN NHÓM SV THỰC HIỆN NGUYỄN T

Trang 1

TRƯỜNG ĐẠI HỌC ĐỒNG THÁP KHOA CÔNG NGHỆ THÔNG TIN

oOo

-BÁO CÁO TIN HỌC LÝ THUYẾT

Tên Đề Tài:

THIẾT KẾ MÁY TURING

CHẤP NHẬN NGÔN NGỮ L(G)

GIẢNG VIÊN HƯỚNG DẪN NHÓM SV THỰC HIỆN

NGUYỄN THỊ THÙY LINH NGUYỄN THỊ THU THỦY

NGUYỄN THÀNH PHƯƠNG

LỚP : TIN2006

1

ĐỒNG THÁP 4/2010

Trang 2

MÁY TURING CHẤP NHẬN NGÔN NGỮ L(G) = { 0n1n | n ≥ 1}

1.Giới thiệu bài toán

Khi cho một chuổi các bit 0 1 TM xét xem chuổi đã cho có thuộc ngôn ngữ L(G) không

2 Phương pháp giải quyết vấn đề

Input: 0n1n

Output:

+ Chấp nhận + Không chấp nhận

Đặt TM M(Σ, Q, Γ, ∂, q0, B, F) với các thành phần:

Σ={0,1}; Q = {q1, q2, q3, q4}; Γ = {0 ,1, X, Y, B} và F = {q4}

 Trạng thái q0 là trạng thái khởi đầu dùng để tìm 0 và Y:

+ Nếu gặp 0 chuyển qua q1, ghi X rồi dịch phải + Nếu gặp Y chuyển qua q3 , ghi Y rồi dịch phải

 Trạng thái q1 dùng để tìm 1:

+ Nếu gặp 1 thì chuyển qua q2, ghi Y rồi dịch trái + Nếu gặp 0 thì giữ nguyên trạng thái q1 ghi 0 rồi dịch phải + Nếu gặp Y giữ nguyên trạng thái q1 , ghi Y rồi dịch phải

 Trạng thái q2 dùng để tìm X:

+ Nếu gặp X chuyển qua q0 rồi dịch phải + Nếu gặp 0 thì giữ nguyên trạng thái q2, ghi 0 rồi dịch trái + Nếu gặp Y giữ nguyên trạng thái q2 ghi Y rồi dịch trái

 Trạng thái q3 dùng để tìm khoảng trắng:

+ Nếu gặp B chuyển qua q4 , ghi B rồi dừng

+ Nếu gặp Y giữ nguyên trạng thái q3 ghi Y rồi dịch phải

 Kết thúc ở trạng thái q4

3.Chạy DEMO

Ví dụ 1:

Input: 0011 Output: chấp nhận

Các phép chuyển hình thái của TM M trên input 0011:

Trang 3

Ví dụ 2 :

Input: 00011111 Output: không chấp nhận

q000011111B | - Xq10011111B | - X0q1011111B | - X00q111111B | -

X0q20Y1111B | - Xq200Y1111B | - q2X00Y1111B | - Xq000Y1111B | -

3

Trang 5

MÁY TURING CHẤP NHẬN NGÔN NGỮ L(G) = { 0n12n | n ≥ 1}

1.Giới thiệu bài toán

Khi cho một chuổi các bit 0 1 TM xét xem chuổi đã cho có thuộc ngôn ngữ L(G) không

2 Phương pháp giải quyết vấn đề

Input: 0n12n

Output:

+ Chấp nhận + Không chấp nhận

Đặt TM M(Σ, Q, Γ, ∂, q0, B, F) với các thành phần:

Σ={0,1}; Q = {q1, q2, q3, q4, q5, q6}; Γ = {0 ,1, X, Y,Z, B} và F = {q6}

 Trạng thái q0 là trạng thái khởi đầu dùng để tìm 0 và Y

+ Nếu gặp 0 chuyển sang q1, ghi X rồi dịch phải + Nếu găp Y chuyển sang q4, ghi Y rồi dịch phải

 Trạng thái q1 dùng để tìm 1

+ Nếu gặp 1 chuyển sang q2 , ghi Y rồi dịch phải + Nếu gặp 0 giữ nguyên q1, ghi 0 rồi dịch phải + Nếu gặp Y giữ nguyên q1, ghi Y rồi dịch phải + Nếu gặp Z giữ nguyen q1, ghi Z rồi dịch phải

 Trạng thái q2 dùng để tìm 1

+ Nếu gặp 1 chuyển sang q3, ghi Z rồi dịch trái

 Trạng thái q3 dùng để tìm X

+ Nếu gặp X chuyển sang q0, ghi X rồi dịch phải + Nếu gặp 0 giữ nguyên q3, ghi 0 rồi dịch trái + Nếu gặp Y giữ nguyên q3, ghi Y rồi dịch trái + Nếu gặp Z giữ nguyên q3, ghi Z rồi dịch trái

 Trạng thái q4 dùng để tìm Z

+ Nếu gặp Z chuyển sang q5, ghi Z và dịch phải

 Trạng thái q5 dùng để tìm khoảng trắng

+ Nếu gặp B chuyển qua q6 rồi dừng + Nếu gặp Y giữ nguyên q5, ghi Y rồi dịch phải + Nếu gặp Z giữ nguyên q5, ghi Z rồi dịch phải

 Kết thúc ở trạng thái q6

3.Chạy DEMO

Ví dụ 1:

Input: 001111 Output: chấp nhận

5

Trang 6

XXq3YZYZB | - Xq3XYZYZB | - XXq0YZYZB | - XXYq4ZYZB | -

XXYZq5YZB | - XXYZYq5ZB | - XXYZYZq5B | - XXYZYZq6B

Ví dụ 2 :

Input: 0011111 Output: không chấp nhận Các phép chuyển hình thái của TM M trên input 0011111:

q00011111B | - Xq1011111B | - X0q111111B | - X0Yq21111B | -

Định dạng
Số trang	7
Dung lượng	517 KB