有 LaTeX 格式的 BNF 语法吗？

Question

我知道这看起来TeX 语言没有 BNF。 但我对 BNF、PEG 或任何其他类型的 LaTeX 格式的形式语法感兴趣。是否有可能为纯 LaTeX（没有任何纯 TeX 或 TeX 基元的 LaTeX）创建这样的语法？如果可以，有人这样做过吗？

不幸的是，关于这个主题的研究和论文非常少。谷歌搜索 LaTeX 和语法，会得到语法检查之类的信息。