ĐỀ TÀI BÁO CÁO MÁY TURING

Biểu diễn máy Turing bằng biểu đồ 3.. Ngôn ngữ được đoán nhận bởi máy Turing 4.. • Đầu đọc ban đầu chỉ vào ô chứa ký hiệu vào bên trái nhất trên băng.• Với một số hữu hạn các trạng th

1 Mô tả máy turing

2 Biểu diễn máy Turing bằng biểu đồ

3 Ngôn ngữ được đoán nhận bởi máy Turing

4 Bài tập

Nội dung

1 Mô tả máy Turing

• Chúng ta minh họa máy Turing trong hình 7.1.

• Đầu đọc ban đầu chỉ vào ô chứa ký hiệu vào bên trái nhất trên băng.

• Với một số hữu hạn các trạng thái, trong

đó có một trạng thái đầu và một số các trạng thái cuối hay trạng thái thừa

Một bước dịch chuyển của máy Turing phụ thuộc vào

trạng thái hiện tại của bộ điều khiển và ký hiệu được

đọc trên băng mà nó thực hiện:

1 Thay đổi trạng thái Tuy nhiên, trạng thái tiếp theo có thể là trạng hiện tại.

2 Viết một ký hiệu lên ô đang được đọc thay thế cho ký hiệu cũ Ký hiệu mới được viết lên có thể là giống với ký hiệu hiện tại trên băng.

3 Dịch chuyển đầu đọc sang phải hoặc sang trái một ô

Định nghĩa 7.1: Máy Turing được định

nghĩa bởi bộ bảy:

M = (Q, Σ, Γ, δ , q0, B, F)

hướng dịch chuyển của đầu đọc.

2 Biểu diễn máy Turing bằng biểu đồ

• Tương tự như ô-tô-mát hữu hạn hay ô-tô-mát đẩy xuống, chúng

ta cũng có thể sử dụng biểu đồ dịch chuyển biểu diễn máy Turing mà trong đó:

1 Các nút biểu diễn các trạng thái.

2 Có một mũi tên đi vào nút q0 để ký hiệu trạng thái đầu.

3 Các trạng thái kết thúc F là các nút

được biểu diễn bởi hai vòng tròn

4 Các trạng thái không thuộc F là các nút được biểu diễn bởi chỉ một vòng tròn.

5 Các cung tương ứng với các dịch

chuyển Một cung từ trạng thái q đến

trạng thái p được gán nhãn X / Y, D

nghĩa là: (q, X) = (p, Y, D).

•

3 Ngôn ngữ được đoán nhận bởi

Định nghĩa 7.5

Ngôn ngữ được đoán nhận bởi máy Turing được gọi là ngôn ngữ liệt kê đệ quy.

Câu 2: Xây dựng máy Turing tính hàm f(n) = n + 1, với

n là số nguyên dương.

M = ({q0, q1, q2}, {0, 1}, {0, 1, B}, δ , q0, B, {q2})

với δ được xây dựng như sau:

3 Xây dựng máy Turing tính hàm f(m, n) = n-m, nếu n ≥

m

www.trungtamtinhoc.edu.vn

Thank You!