Chúng tôi biết rằng tất cả các automata đẩy xuống đều có thể biểu diễn bằng cách sử dụng ngữ pháp không ngữ cảnh. Hơn nữa, có một thuật toán để xây dựng CFG từ bất kỳ máy PDA nào (ví dụ: bằng chứng của Sipser trong phần giới thiệu về lý thuyết tính toán).
Có công cụ nào làm bản dịch này không? Tức là tôi có thể đặt trong một tập hợp các hàm chuyển đổi và nó sẽ trả về một CFG tương đương.
1
buồn cười. thông thường người ta muốn cách khác :)
—
Suresh Venkat
Ừm. Tôi sẽ gán bằng chứng đó cho Chomsky, Evey và Schützenberger.
—
Hendrik ngày 1