| ▲ | remywang 5 hours ago | |
One cool factoid about PEGs is that it is an open problem if they can parse all context free languages. | ||
| ▲ | pcfwik 4 hours ago | parent [-] | |
If I understand correctly, one of the recent cool generative AI-assisted results is actually supposed to have closed this problem, complete with a Lean proof! | ||