Bài giảng Tin học lý thuyết - Chương 6: Automata đẩy xuống (Push Down Automata)

Chương 6 - Automata đẩy xuống (Push Down Automata). Chương này trình bày những nội dung chính sau: 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.

Từ khóa: Tin học lý thuyết, Bài giảng Tin học lý thuyết, Automata đẩy xuống, Push Down Automata, PDA đơn định, PDA không đơn định