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

Question

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

Answer 1

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

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

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

这是编译器设计的面包和黄油。