Python有数学定义吗'；语法和语义

我一直在寻找Python的数学定义。就像IBM的关系代数一样。在我大学课程的一些脚本中，我发现了一些类似的东西，但更多的是一种示例语言，通常用来解释一些概念。我很想为Python找到类似的东西。

关系代数？像Python这样的计算机语言不是关系语言

也许您可以找到Python的一个解决方案

然后，您可以将其馈送到以获得抽象语法树[AST]。一旦你做到了，你就可以遍历树，为每个节点生成你想要的任何东西（例如字节码等）

---

这是编译器设计的主要任务

没有。引用实现CPython充当了语言规范。@scarLópez：我认为这不是真的。CPython是一个参考，但不是规范。例如，在成为规范的一部分之前，字典在某些版本中是以CPython的形式订购的。但这是语义，而不是句法，问题不清楚这里想要的是什么。少数语言，如ML，已经完全由形式语义的数学理论指定。大多数语言，包括Python，都不是。我知道它不是关系型的，但是对于这个特殊的代数，有一个数学定义，它似乎与Python相反。我不确定它是代数。这个词对你意味着什么？我不是数学家，但我对数学有一定的了解。@Python:Python的语法（见上面答案中的链接）是语言语法的数学定义。你需要一个不同的数学形式的答案吗？如果是这样，您需要更精确地说明该表单。或者你想要一个语言语义的规范？这实际上是我最初的想法。一个整数数组将由此定义，例如，int X int X。。。但我想这些答案比我想要的要多。“如果你想看到一个更正式的语言定义，也许你可以自愿投入时间——或者发明一台克隆机：-）”，这是参考资料中的