수학 구문 검사기가 파이썬으로 작성된 경우

Question

필요한 것은 문자열이 유효한 수학 표현식인지 여부를 파이썬을 사용하여 확인하는 것입니다.

단순화를 위해 숫자와 중첩 된 괄호로 + - * / 연산자 (+ -도 단항으로) 만 필요하다고 가정 해 봅시다. 또한 완성을 위해 간단한 변수 이름을 추가합니다. 나는 pyparsing 그러나 다만 시도하는 예를 시도

test("-3 * (2 + 1)") #valid 
test("-3 * ")  #NOT valid 

test("v1 + v2")  #valid 
test("v2 - 2v")  #NOT valid ("2v" not a valid variable name) 

:

그래서 나는이 방법으로 테스트 할 수 있습니다 내가 잘못된 코드를 통과하고 또한 내가 항상 잘못된 구문이 예외를 발생시키지 않고 구문 분석 얻을 그것을 해결하기 위해 노력 얻을 "simple algebraic expression parser, that performs +,-,*,/ and ^ arithmetic operations"을

단지 시도 :

>>>test('9', 9) 
9 qwerty = 9.0 ['9'] => ['9'] 
>>>test('9 qwerty', 9) 
9 qwerty = 9.0 ['9'] => ['9'] 

시험 패스 모두 ... 오 _O

어떤 조언이 필요합니까?

Answer 1

이것은 pyparsing 코드가 기능을 허용하기 때문입니다.은 (그건 그렇고, 당신이 스택을 만들고 해당 평가, 즉 필요한 것보다 더 많은 작업을 수행합니다.) 우선 들어

, 내가 바로 누락 다른 pi 및 ident (그리고 아마도 뭔가를 제거 할 수 있습니다 지금) 코드에서 문자를 허용하지 않습니다.

이유가 다릅니다. PyParsing 파서는 기본적으로 전체 입력을 사용하지 않습니다. + StringEnd()을 추가하고 expr 끝까지 입력해야만 전체 입력을 구문 분석 할 수 없으면 실패합니다. 이 경우 pyparsing.ParseException가 발생합니다. (출처 : http://pyparsing-public.wikispaces.com/FAQs)

약간의 파싱을 배우려면 신경 쓰지 않으면 서 괜찮은 구문 분석 라이브러리 (예 : LEPL)를 사용하면 필요한 것은 30 줄 미만으로 구축 할 수 있습니다.

Answer 2

왜 그냥 평가하고 구문 오류를 잡을 까? 이 원유 eval보다 약간 더 작업을해야하므로

> print validSyntax('a+b-1') # a, b are undefined, so a NameError arises. 
> False 

> print validSyntax('1 + 2') 
> True 

> print validSyntax('1 - 2') 
> True 

> print validSyntax('1/2') 
> True 

> print validSyntax('1 * 2') 
> True 

> print validSyntax('1 +/ 2') 
> False 

> print validSyntax('1 + (2') 
> False 

> print validSyntax('import os') 
> False 

> print validSyntax('print "asd"') 
> False 

> print validSyntax('import os; os.delete("~\test.txt")') 
> False # And the file was not removed 

그것은 단지 수학 연산에 제한 것 :

from math import * 

def validateSyntax(expression): 
    functions = {'__builtins__': None} 
    variables = {'__builtins__': None} 

    functions = {'acos': acos, 
       'asin': asin, 
       'atan': atan, 
       'atan2': atan2, 
       'ceil': ceil, 
       'cos': cos, 
       'cosh': cosh, 
       'degrees': degrees, 
       'exp': exp, 
       'fabs':fabs, 
       'floor': floor, 
       'fmod': fmod, 
       'frexp': frexp, 
       'hypot': hypot, 
       'ldexp': ldexp, 
       'log': log, 
       'log10': log10, 
       'modf': modf, 
       'pow': pow, 
       'radians': radians, 
       'sin': sin, 
       'sinh': sinh, 
       'sqrt': sqrt, 
       'tan': tan, 
       'tanh': tanh} 

    variables = {'e': e, 'pi': pi} 

    try: 
    eval(expression, variables, functions) 
    except (SyntaxError, NameError, ZeroDivisionError): 
    return False 
    else: 
    return True 

는 여기에 몇 가지 샘플입니다.

Answer 3

산술 표현식의 문자열을 토큰 화하고 트리가 유효하면 잎을 모든 피연산자로, 내부 노드를 모두 연산자로 사용하여 간단하게 파서를 작성하여 표현식 트리를 만들 수 있습니다. 표현이 유효하다는 것.

기본 개념은 파서를 만들기위한 몇 가지 도우미 함수를 만드는 것입니다.당신은 문자 사이에 공백을 보장 할 수있는 경우
get_expression()
get_next_token()

또는 다음 문자를 확인 할 공백이없는 경우

def extract()는
def peek() 추출 비슷하지만 사용되는 표현에서 다음 문자를 얻을 것이다 당신 모든 토큰 화 작업을 수행하려면 split()을 사용할 수 있습니다.

그런 다음 당신은 당신의 나무를 구축하고 올바르게

구조화 대한 추가 정보를 원하시면이 취해야 평가 : http://effbot.org/zone/simple-top-down-parsing.htm

Answer 4

발리에이 파서 변환됩니다 parseString에 전화로 parseAll=True 추가.

Answer 5

유효성 검사기가되도록 Python으로 작성된 사용자 정의 수학 평가 엔진을 수정하려면 Evaluator 2.0 (Python 3.x) 및 Math_Evaluator (Python 2.x)으로 시작할 수 있습니다. 그들은 기성품 솔루션은 아니지만 읽기 쉬운 Python 코드를 사용하여 정확히 무엇을 하려는지 완전히 사용자 정의 할 수 있습니다. "및"& "또는"는 운영자로 취급됩니다.