TAILIEUCHUNG - Bài giảng Tin học: Chương 6 - Võ Huỳnh Trâm

Bài giảng "Tin học - Chương 5: Automata đẩy xuống" 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. . | 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

• Kỹ thuật lập trình
• Automata đẩy xuống
• Bài giảng Tin học
• PDA đơn định
• PDA không đơn định
• PDA chấp nhận chuỗi
• Sự tương đương giữa PDA và CFL
• Chuỗi bằng trạng thái kết thúc
• Tin học lý thuyết
• Bài giảng Tin học lý thuyết
• Push Down Automata
• Văn phạm phi ngữ cảnh
• Ngôn ngữ hình thức
• Văn phạm hình thức và các Automata
• Trình biên dịch
• 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
• Bài giảng Tin học lí thuyết
• Tin học lí thuyết