tailieunhanh - Bài giảng Tin học lí thuyết: Chương 6 - Võ Huỳnh Trâm

Bài giảng "Tin học lí thuyết - Chương 6: Automata đẩy xuống (Push Down Automata)" cung cấp cho người học các kiến thức: Khái niệm về PDA, PDA đơn định và không đơn định, PDA chấp nhận chuỗi bằng Stack rỗng và PDA chấp nhận chuỗi bằng trạng thái kết thúc, sự tương đương giữa PDA và CFL. nội dung chi tiết. | Chương 6 Automata đẩy xuống Push Down Automata Nội dung Khái niệm về PDA PDA đơn định và không đơn định PDA chấp nhận chuỗi bằng Stack rỗng và PDA chấp nhận chuỗi bằng trạng thái kết thúc Sự tương đương giữa PDA và CFL 1 PDA Ta đã biết Lớp ngôn ngữ chính quy được sinh ra từ văn phạm chính quy và được đoán nhận bởi automata hữu hạn Lớp ngôn ngữ phi ngữ cảnh được sinh ra từ văn phạm phi ngữ cảnh câu hỏi CFL có thể được đoán nhận bởi một automata không automata đó như thế nào Mô tả gồm các thành phần của một automata hữu hạn với sự bổ sung thêm một ngăn xếp làm việc Stack 2 PDA Ví dụ xét L wcwR w e 0 1 được sinh ra từ CFG S 0SO 1S1 c Ta xây dựng PDA như sau Bộ điều khiển có 2 trạng thái q1 và q2 Stack có 3 ký hiệu xanh B vàng Y và đỏ R Quy tắc thao tác trên automata INPUT Đỉnh Stack Trạng thái 0 1 c Xanh qi Thêm đĩa xanh giữ nguyên qi Thêm đĩa vảng giữ nguyên qi Chuyên sang 33 qí Xo á đỉnh Stack giữ nguyên 32 Vàng qi Thêm đĩa xanh giữ nguyên qi Thêm đĩa vảng giữ nguyên 31 Chuyên sang 33 qz Xo á đỉnh Stack giữ nguyên 33 Đo qi Thêm đĩa xanh giữ nguyên qi Thêm đĩa vảng giữ nguyên 31 Chuyển sang 33 qí Xoá đỉnh Stack không cân đọc input