如何定义 TeX/LaTeX 和 Makefile 的语法？答案

【问题标题】：How to define the grammar for TeX/LaTeX and Makefile?如何定义 TeX/LaTeX 和 Makefile 的语法？
【发布时间】：2014-03-03 16:57:32
【问题描述】：

两者都是通过充满宏的语言来表达的技术，但在更专业的术语中，语法是什么以及如何描述它们自己的属性？

我对图形表示不感兴趣，我所说的属性是指关于这个主题的描述性短语，所以请不要只寻求充满弧线和图形的面向 BNF/EBNF 的响应。

我假设两者都是上下文无关的语法，但这是一个很大的语法家族，有办法更精确地描述这 2 吗？

谢谢。

【问题讨论】：

这个问题似乎离题了，因为它是关于自然语言处理理论的，最好在Linguistics 上提问。
@Thomas 更像是一个关于编程/技术语言的问题，我不知道有多少程序员可能会访问 SO 的那个分支，我也不认为有经验的语言几乎可以帮助和经验丰富的程序员一样。

【解决方案1】：

TeX 可以在运行时更改meaning of characters，因此它不是上下文无关的。

【讨论】：

【解决方案2】：

我的语言是上下文无关的吗？

我相信每一种有用的语言最终都是图灵完备的、自反的等等。

幸运的是，故事还没有结束。

大多数解析器生成工具（yacc、antler 等）都可以处理上下文无关语法 (CFG)。

所以我们把语言处理问题分为3个步骤：

编写上下文无关语法是谈论所有语言的一种非常标准的方式！这是一个非常清晰和具有教学意义的语言符号！！（有时并没有说实话）。

当我们说“不是上下文无关的，是图灵完备的，...”时，您可以将其翻译为“您可以计算大量语义额外工作”:)

我该如何谈论它？

有很多选择。我喜欢做以下事情的一个子集：

【讨论】：