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.