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

• Tin học văn phòng
• Bài giảng Tin học lí thuyết
• Tin học lí thuyết
• Automata đẩy xuống
• PDA đơn định
• PDA không đơn định
• PDA chấp nhận chuỗi
• Bổ túc toán
• Phép chứng minh quy nạp
• Đồ thị và cây
• Phép toán tập hợp
• Sự phân cấp Chomsky
• Biểu diễn ngôn ngữ
• Sự phân lớp văn phạm
• Văn phạm phi ngữ cảnh
• Giản lược văn phạm phi ngữ cảnh
• Chuẩn hóa văn phạm phi ngữ cảnh
• Tính chất của văn phạm phi ngữ cảnh
• Mô hình TM
• TM nhận dạng ngôn ngữ
• TM tính toán hàm số nguyên
• Kỹ thuật xây dựng TM
• Bài giảng Tin học
• Sự tương đương giữa PDA và CFL
• Chuỗi bằng trạng thái kết thúc
• Toán giải tích
• Bài giảng Toán giải tích
• PDA chấp nhận chuỗi bằng Stack rỗng
• Trạng thái kết thúc