Math 一般来说，如何存储数学语义？

我正在尝试制作一个系统，它将存储数学语义，并从语义上而不是语法上解决它。我不知道从哪里开始。我的问题的一个例子可以是a+b，如果a和b是整数，则是加法，如果它们是字符串，则是串联。从语义上讲，我想输入方程并根据域来求解。请帮助查找起点。谢谢

查找有关编译器设计的文章。这本质上是一个语法分析/词法分析问题，这是编译器要经历的前两个阶段。投票结束，这个问题对SO来说太宽泛了（请参阅帮助中心，了解关于提出好问题的指导原则）。与其在这里问问题，不如把时间花在你最喜欢的搜索引擎上。例如，看看计算机代数系统，这是一个广泛的问题。解析表达式以构建表达式可能是一个很好的起点。在完全通用的情况下进行数学语义分析将变得非常复杂。有一种XML格式可以解决这个问题，但这里需要更多。看看“运算符重载”可能会有所帮助，它允许+根据上下文具有不同的含义。您可以将表达式解析为内容MathML（数学XML）并存储XML。计算表达式很简单，只需遍历DOM树；可能已经有了一个库函数。请注意，您需要的是内容MathML，而不是仅用于显示的presentation MathML。