将 TeX 解析为上下文无关文法时的限制

将 TeX 解析为上下文无关文法时的限制

阅读以下内容后,我对 TeX/LaTeX 解析器和解析 TeX/LaTeX 有一些疑问:

将 TeX 解析为上下文无关文法时的限制

这是一个 PEG 解析器,这意味着它将 LaTeX 解释为上下文无关语言。但是,TeX(以及 LaTeX)是图灵完备的,因此只有完整的图灵机才能真正解析 TeX。无法使用静态解析器解析完整的 TeX 语言。请参阅这里一些有趣的例子。

甚至无法确定 TeX 程序是否有解析树。已经对解析 TeX 的问题进行了一些研究,请参阅这里

来源:https://github.com/michael-brade/LaTeX.js/blob/master/README.md

  • TeX/LaTeX 使用的解析规则是什么?
  • 如果这不是上下文无关语法,那么使用的语法类型是什么?
  • TeX/LaTeX 中使用的解析器是什么,以及它如何解析 TeX/LaTeX 文档?
  • 解析器是如何编写/生成的?

相关内容