ScalaParse basically is nothing but a grammar, as far as I’m aware. While it’s not stated in BNF form, I believe that a collection of FastParse Parsers is mostly isomorphic to a BNF grammar. My guess is that going from ScalaParse to BNF would be a largely mechanical exercise. It does require learning how to read FastParse, though…