Chuyển đổi CFG sang PDA

Có bất kỳ bộ quy tắc hoặc phương pháp nào để chuyển đổi bất kỳ ngữ pháp miễn phí ngữ cảnh nào thành tự động đẩy xuống không?

Tôi đã tìm thấy một số slide trực tuyến nhưng tôi không thể hiểu chúng.

Trong slide 10 anh ấy nói về một số quy tắc bất cứ ai có thể giải thích điều đó?

— makakas
nguồn

kiểm tra wikipedia, và câu hỏi này . Ý tưởng là tạo ra từ (sử dụng ngữ pháp) trên ngăn xếp và khớp từ đó với đầu vào. Bí quyết là làm song song - tạo một phần của từ, kiểm tra nó, tạo thêm một số thứ, kiểm tra nó, v.v.

— Ran G.

Một video bao gồm chủ đề này và rất dễ hiểu: youtube.com/watch?v=MJ9xNavURY8

— Ran G.

Các quy tắc thực tế cho việc xây dựng này được đưa ra trên slide 7 trong bài trình bày này. Wikipedia gọi các quy tắc này là "khớp" và "mở rộng".

Các slide bạn sử dụng là từ một khóa học của Jeff Ullman có vẻ như. (Một trong những tác giả của một cuốn sách nổi tiếng về ngôn ngữ chính thức và automata). Anh ấy cũng đã chuẩn bị một khóa học trực tuyến về chủ đề này, nơi tôi đoán anh ấy sẽ tự giải thích chi tiết.

— Hendrik Jan
nguồn