Post #2479127

@olynch@mathstodon.xyz @MartinEscardo@mathstodon.xyz Another solution is to write the ambiguous grammar but disambiguate by intersecting with regular tree languages. This is a folklore idea from the formal languages world, but it thankfully got published separately at a workshop: https://michaeldadams.org/papers/disambiguating-grammars/ Most (all?) interesting grammar classes are closed under intersection with regular string and tree languages, so it shouldn't affect the rest of your generator.