Pythonでstr型式の論理的OR部分を抜き出す実装

Question

Pythonでstr型の式から論理的ORの部分をぬきだしたいです。
"2==1 or 3==3 and 4==2 -> "2==1 or 3==3"
"3+4==2+5 and 5+6==10+1 or 4+3==1+6" -> "5+6==10+1 or 4+3==1+6"
"3+4==2+5 and 'or'=='and' or 'or'=='or'" -> 'or'=='and' or 'or'=='or'
（追加）
"3+4==a + b and 5+6==10+1 or c+3==1+6" -> "5+6==10+1 or c+3==1+6"
"3==3 and (3+4==2+5 and 3== 3　or 5==d) or 'or'=='or'" -> (3+4==2+5 and 3== 3 or 5==d) or 'or'=='or'
###試したこと
正規表現(re)を使う。re.matchを使って".*or.*"を探した。
->"3+4==2+5 and 5+6==10+1 or 4+3==1+6" -> "3+4==2+5 and 5+6==10+1 or 4+3==1+6"
全て選ばれてしまう。
###文法
※Pythonと同じ文法
andとorの前後の空白省略不可、
変数は有り、
空白はどこに入れても良い、
括弧はサポートしています。
###補足
標準ライブラリ以外の外部ライブラリは使いたくありません。

詳しい方に教えて頂けたら助かります。

Comments

[int32_t]

式の詳しい文法がわからないと回答できないと思います。
* どこに空白を入れてもいいのか、orやandの前後の空白は省略可能なのか
* 括弧をサポートしているのか
* 数値リテラルっぽいものや文字列リテラルっぽいものがあるが、変数などはないのか
…などなど。

Answer 1

提示された文法を完全にサポートするためには、正規表現だけではムリです。

巷の言語処理系と同様に、字句解析してから構文木を作りましょう。

Comments

[akisan55]

返信ありがとうございます。
字句解析と構文解析をしてからの運用を実践してみます。

Answer 2

とりあえず、こんなの

import re

samples = [
    "2==1 or 3==3 and 4==2",
    "2==1 or 3==3 or 4==4 and 4==2",
    "0==0 and 2==1 or 3==3 and 5==5 or 'or'=='and' or 'or'=='or' and 8==8 or 9==9",
]

regexp = r'[\S]+( or [\S]+)+'

for text in samples:
    result = [m.group(0) for m in re.finditer(regexp, text)]
    print(result)

実行：

['2==1 or 3==3']

['2==1 or 3==3 or 4==4']
['2==1 or 3==3', "5==5 or 'or'=='and' or 'or'=='or'", '8==8 or 9==9']

から始めて、徐々に対応できる入力の文法を拡張していったら、どないでっしゃろ？

Comments

[akisan55]

有難うございます。
どのような正規表現にしたらよいかわからなかったので、助かりました。
参考にさせていただきます。