Python的语法和语义是否有数学定义

Question

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

Answer 1

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

也许你可以找到 Python 的语法。

然后，您可以将其提供给词法分析器/解析器以获取抽象语法树 [AST]。一旦你有了它，你就可以遍历树并为每个节点生成你想要的任何东西（例如字节码等）

这是编译器设计的基础。