compiler-construction - 用于数学方程和不等式的 EBNF

Question

我想设计一种满足 EBNF 的数学语言，让我编写尽可能接近自然数学语言的方程组和不等式。我想为这种小语言有两个解析器，一个解析器准备用这种语言编写的等式/不等式以供发布，另一个解析器准备它进行计算，即将所有系数检索到内存中并将它们存储在我自己的数据结构中以供进一步使用计算。我想使用 Latex2e 语法，所以我不需要编写第一个解析器来发布。但是我从这个论坛读到 Latex2e 语法本身不包含解析器的足够信息。关于去哪里有什么建议吗？谢谢!

Answer 1

Fortress 语言旨在为用户提供接近于传统数学符号的东西(不是任何两篇数学论文使用完全相同的符号)。输入利用 Unicode 的符号并遵循约定，例如将空格作为默认乘法运算符。

Fortress site有引用实现，它使用 Rats PEG 实现 grammar而不是 EBNF。