Как конвертировать из infix в postfix / prefix с помощью модуля AST python?

Я пытаюсь преобразовать математические выражения python в постфиксную нотацию с помощью модуля AST python. Вот что я получил до сих пор:

import parser
import ast
from math import sin, cos, tan

formulas = [
    "1+2",
    "1+2*3",
    "1/2",
    "(1+2)*3",
    "sin(x)*x**2",
    "cos(x)",
    "True and False",
    "sin(w*time)"
]


class v(ast.NodeVisitor):

    def __init__(self):
        self.tokens = []

    def f_continue(self, node):
        super(v, self).generic_visit(node)

    def visit_Add(self, node):
        self.tokens.append('+')
        self.f_continue(node)

    def visit_And(self, node):
        self.tokens.append('&&')
        self.f_continue(node)

    def visit_BinOp(self, node):
        # print('visit_BinOp')
        # for child in ast.iter_fields(node):
            # print('  child %s ' % str(child))

        self.f_continue(node)

    def visit_BoolOp(self, node):
        # print('visit_BoolOp')
        self.f_continue(node)

    def visit_Call(self, node):
        # print('visit_Call')
        self.f_continue(node)

    def visit_Div(self, node):
        self.tokens.append('/')
        self.f_continue(node)

    def visit_Expr(self, node):
        # print('visit_Expr')
        self.f_continue(node)

    def visit_Import(self, stmt_import):
        for alias in stmt_import.names:
            print('import name "%s"' % alias.name)
            print('import object %s' % alias)
        self.f_continue(stmt_import)

    def visit_Load(self, node):
        # print('visit_Load')
        self.f_continue(node)

    def visit_Module(self, node):
        # print('visit_Module')
        self.f_continue(node)

    def visit_Mult(self, node):
        self.tokens.append('*')
        self.f_continue(node)

    def visit_Name(self, node):
        self.tokens.append(node.id)
        self.f_continue(node)

    def visit_NameConstant(self, node):
        self.tokens.append(node.value)
        self.f_continue(node)

    def visit_Num(self, node):
        self.tokens.append(node.n)
        self.f_continue(node)

    def visit_Pow(self, node):
        self.tokens.append('pow')
        self.f_continue(node)

for index, f in enumerate(formulas):
    print('{} - {:*^76}'.format(index, f))
    visitor = v()
    visitor.visit(ast.parse(f))
    print(visitor.tokens)
    print()


# 0 - ************************************1+2*************************************
# [1, '+', 2]

# 1 - ***********************************1+2*3************************************
# [1, '+', 2, '*', 3]

# 2 - ************************************1/2*************************************
# [1, '/', 2]

# 3 - **********************************(1+2)*3***********************************
# [1, '+', 2, '*', 3]

# 4 - ********************************sin(x)*x**2*********************************
# ['sin', 'x', '*', 'x', 'pow', 2]

# 5 - ***********************************cos(x)***********************************
# ['cos', 'x']

# 6 - *******************************True and False*******************************
# ['&&', True, False]

# 7 - ********************************sin(w*time)*********************************
# ['sin', 'w', '*', 'time']

Я пытаюсь понять, как преобразовать сложные математические выражения infix в постфиксные выражения для отправки в оболочку swig c, для этого я пытаюсь использовать модуль AST.

может ли кто-нибудь посоветовать здесь?

6
abstract-syntax-tree infix-notation postfix-notation python python-3.x

1 ответов

можно использовать ast.dump чтобы получить дополнительную информацию о узлах и структуре AST:

>>> import ast
>>> node = ast.parse("sin(x)*x**2")
>>> ast.dump(node)
"Module(body=[Expr(value=BinOp(left=Call(func=Name(id='sin', ctx=Load()), args=[Name(id='x', ctx=Load())], keywords=[]), op=Mult(), right=BinOp(left=Name(id='x', ctx=Load()), op=Pow(), right=Num(n=2))))])"

с вышеуказанной информацией вы можете изменить порядок посещения дочерних узлов, который позволяет генерировать выражение постфикса или префикса. Для генерации постфиксного выражения change visit_BinOp, visit_BoolOp и visit_Call чтобы они посещали аргументы перед посещением оператора / функции:

def visit_BinOp(self, node):
    self.visit(node.left)
    self.visit(node.right)
    self.visit(node.op)

def visit_BoolOp(self, node):
    for val in node.values:
        self.visit(val)
    self.visit(node.op)

def visit_Call(self, node):
    for arg in node.args:
        self.visit(arg)
    self.visit(node.func)

с вышеуказанными изменениями вы получаете следующие вывод:

0 - ************************************1+2*************************************

[1, 2, '+']

1 - ***********************************1+2*3************************************

[1, 2, 3, '*', '+']

2 - ************************************1/2*************************************

[1, 2, '/']

3 - **********************************(1+2)*3***********************************

[1, 2, '+', 3, '*']

4 - ********************************sin(x)*x**2*********************************

['x', 'sin', 'x', 2, 'pow', '*']

5 - ***********************************cos(x)***********************************

['x', 'cos']

6 - *******************************True and False*******************************

[True, False, '&&']

7 - ********************************sin(w*time)*********************************

['w', 'time', '*', 'sin']

если вы хотите префикс выражение вместо просто поменять порядок вокруг так оператор / функция посещается первым:

def visit_BinOp(self, node):
    self.visit(node.op)
    self.visit(node.left)
    self.visit(node.right)

def visit_BoolOp(self, node):
    self.visit(node.op)
    for val in node.values:
        self.visit(val)

def visit_Call(self, node):
    self.visit(node.func)
    for arg in node.args:
        self.visit(arg)

выход:

0 - ************************************1+2*************************************

['+', 1, 2]

1 - ***********************************1+2*3************************************

['+', 1, '*', 2, 3]

2 - ************************************1/2*************************************

['/', 1, 2]

3 - **********************************(1+2)*3***********************************

['*', '+', 1, 2, 3]

4 - ********************************sin(x)*x**2*********************************

['*', 'sin', 'x', 'pow', 'x', 2]

5 - ***********************************cos(x)***********************************

['cos', 'x']

6 - *******************************True and False*******************************

['&&', True, False]

7 - ********************************sin(w*time)*********************************

['sin', '*', 'w', 'time']
3