EBNF用于数学方程和不等式

Question

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

Answer 1

Fortress语言旨在为用户提供接近传统数学符号的东西（并非任何两篇数学论文都使用完全相同的符号）。输入利用Unicode的符号，并遵循诸如空格之类的约定作为默认的乘法运算符。

Fortress site具有参考实现，它将Rats PEG实现用于其grammar而不是EBNF。