Formal grammar for DSL?

Continuing the discussion from Formal Grammar of Query DSL?:

Still looking. I can find SQL and Painless grammars, but not DSL.