python - Python での括弧の一致

Question

私は次の方法で文字列を持っています。次の状態から文字列を抽出し、対応する括弧を追加する必要があります。Python で括弧の一致を実行できる Python の関数はありますか?

a) data = [next_state=((!SE&((A1&A2)|(B1&B2)))|(SE&SI))):Q=iq]

b) data = [(next_state=(!SE&((!B2&D)|(B2&lq))|(SE&SI)),clear=B2&lqn,preset=B2&lq)))]

data_1 = data[0].split(',')
for item in data_1:
    if item.find('next_state=')!= -1:
        item_list = item.split('=')
        item_op = item_list[len(item_list) -1].lstrip('(').rstrip(')')
        item_op = "(" + item_op + ")"
        print item_op

Excepted:((!SE&((A1&A2)|(B1&B2)))|(SE&SI))(余分なものを取り除いて模様を合わせる)

不足している括弧を修正/追加する必要がある場合

余分な括弧がない場合、コードは正常に機能していましたが、b ケースなどで余分な括弧を追加できる場合があります。したがって、一般化されたソリューションではありません。括弧を一致させることは可能ですか。

---

以下の回答から得たフィードバックに基づいて質問を編集しています。コードの最終バージョンです。ご意見をお寄せいただきありがとうございます。コードのコメントは大歓迎です

#!/usr/bin/env py
import itertools
import sys
import sympy
import re
def extract_next_state(s):
    p = re.compile('(\()|(\))')
    depth = 0
    startindex = None
    start_point = False
    for m in p.finditer(s):
        if m.group(1):          # (
            depth += 1
            print "depth (", depth
            if not start_point:
                startindex = m.start()
                start_point = True
        elif m.group(2):          # )
            depth -= 1
            print "depth )", depth
            if depth == 0:
                return s[startindex:m.end()]

if __name__ == "__main__":
    #data = ['next_state=(~SE&((~B2&D)|(B2&lq))|(SE&SI))']
    data = ['next_state=((~SE&((A1&A2)|(B1&B2)))|(SE&SI)))']
    data_1 = data[0].split(',')
    com = None
    for item in data_1:
        if item.find('next_state=')!= -1:
            item_list = item.split('=')
            item_op = extract_next_state(item_list[1])
            print item_op
            expr = sympy.sympify(item_op)
            temp_list = [ str(data) for data in expr.free_symbols]
            print temp_list