Есть ли математическое определение синтаксиса и семантики Python?

Question

Я искал математическое определение Python.Как, например, для реляционной алгебры от IBM.В некоторых сценариях моих университетских курсов я нахожу нечто похожее, но это скорее пример языка, обычно объясняющего некоторые понятия.Я хотел бы найти что-то подобное для Python.

Answer 1

реляционная алгебра?Компьютерные языки, такие как Python, не реляционные.

Возможно, вы найдете грамматику для Python.

Затем вы можете передать ее в лексер / парсер , чтобы получить абстрактное синтаксическое дерево [AST].Получив это, вы можете пройтись по дереву и сгенерировать все, что пожелаете для каждого узла (например, байт-код и т. Д.)

Это основа разработки компилятора.