Bài giảng ngôn ngữ hình thức chương 5 nguyễn thị hồng

MÁY TURING VÀ Ô TÔ MÁT TUYẾN TÍNH GIỚI NỘI Nội dung  Máy turing tiền định  Ngôn ngữ ngữ cấu (đệ quy kể được)  Ô tô mát tuyến tính giới nội  Văn phạm cảm ngữ cảnh Máy turing tiền định  Cấu tạo  B[.]

MÁY TURING VÀ Ơ TƠ MÁT TUYẾN TÍNH GIỚI NỘI Nội dung     Máy turing tiền định Ngơn ngữ ngữ cấu (đệ quy kể được) Ơ tơ mát tuyến tính giới nội Văn phạm cảm ngữ cảnh Máy turing tiền định  Cấu tạo:     Bộ chữ gồm: chữ vào (dùng cho xâu vào) kí hiệu trống B Một số băng chia thành nhiều ơ(có đánh số thứ tự) vơ hạn phía hai phía Mỗi băng chứa kí hiệu thuộc chữ Một đầu đọc di chuyển băng, thời điểm trỏ đến ô băng Một tập hữu hạn trạng thái có trạng thái đầu trạng thái thừa nhận Cấu tạo …  Một hàm dịch chuyển với trạng thái kí hiệu đầu đọc đọc :  Trạng thái  Một kí hiệu đè lên kí hiệu vừa đọc  Hướng dịch chuyển đầu đọc Cấu tạo máy Turing…  Mơ hình máy Turing: Máy turing tiền định  Nguyên lý hoạt động:  Ban đầu:  Xâu đặt băng đầu tiên, kí hiệu, ô khác chứa kí hiệu trắng  Đầu đọc trỏ vào ô băng  Trạng thái bắt đầu q Nguyên lý hoạt động   Hàm dịch chuyển vào trạng thái kí hiệu đọc băng để xác định:  Trạng thái  Một kí hiệu viết lên băng (đè lên kí hiệu vừa đọc)  Hướng dịch chuyển đầu đọc (dịch sang trái hay sang phải ô) Xâu vào thừa nhận trình thực xâu đạt đến trạng thái thưà nhận Định nghĩa máy Turing  Định nghĩa: Một máy Turing M=( , Q, , , q0, B, F) đó:        Q : tập hữu hạn trạng thái Σ : ký hiệu nhập Γ : tập hữu hạn ký hiệu viết băng δ : hàm chuyển Q x Γ → Q x Γ x {L, R, Ø} q0 : trạng thái khởi đầu B : ký hiệu dùng để khoảng trống băng F Q : tập trạng thái kết thúc Định nghĩa máy Turing…  Một hình trạng máy Turing: # 1q 2# đó:  # , # gọi kí hiệu mút  q trạng thái  Nội dung băng: Định nghĩa máy Turing  Sự thực máy turing: trường hợp  Sự thực đến hình trạng khơng thể tiếp Máy turing cho câu trả lời “có” (xâu w thừa nhận) trạng thái thời trạng thái thừa nhân, ngược lại câu trả lời “khơng”  Sự thực không kết thúc Xâu w không thừa nhận ...Nội dung     Máy turing tiền định Ngơn ngữ ngữ cấu (đệ quy kể được) Ơ tơ mát tuyến tính giới nội Văn phạm cảm ngữ cảnh Máy turing tiền định  Cấu tạo:     Bộ chữ gồm:... máy Turing…  Một hình trạng máy Turing: # 1q 2# đó:  # , # gọi kí hiệu mút  q trạng thái  Nội dung băng: Định nghĩa máy Turing  Sự thực máy turing: trường hợp  Sự thực đến hình trạng khơng... thái  Một kí hiệu đè lên kí hiệu vừa đọc  Hướng dịch chuyển đầu đọc Cấu tạo máy Turing…  Mơ hình máy Turing: Máy turing tiền định  Nguyên lý hoạt động:  Ban đầu:  Xâu đặt băng đầu tiên,