Tôi đã xem this algorithm người ta có thể sử dụng để loại bỏ tất cả đệ quy trái. Tuy nhiên, tôi chạy vào vấn đề với ngữ pháp đặc biệt này: A -> Cd
B -> Ce
C -> A | B | f
Dù tôi cố gắng tôi kết thú
Tôi muốn tạo một ngữ pháp cho phép thực hiện các cuộc gọi chức năng được thực hiện. Đó là: a() /// good
a()() /// good
a()()() /// good
a(a) /// good
a(a()()) /// good
/// etc
đâm đầu tiên của
Tôi gặp vấn đề nhỏ với đệ quy trái trong ngữ pháp này. Tôi đang cố gắng viết nó trong Prolog, nhưng tôi không biết cách loại bỏ đệ quy trái. <expression> -> <simple_expression>
<simple_expression> ->