One cool factoid about PEGs is that it is an open problem if they can parse all context free languages.
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!
https://arxiv.org/abs/2608.29592
alt Hacker News
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!
https://arxiv.org/abs/2608.29592