Problem:
MathJax.Hub.Config({ tex2jax: { inlineMath: [["$","$"], ["\\(","\\)"]], processEscapes: true }});

壊れた暗号生成器

JAG (Japanese Alumni Group) は多くのプログラマで構成される謎の組織であり，この組織の本部がある建物に入るためには毎回ある機械によって生成される暗号文を解かなくてはならない．
この暗号文は，'+'，'-'，'['，']' の記号と大文字のアルファベットからなっており，以下の BNF で定義される <Cipher> によって表される．

<Cipher> ::= <String> | <Cipher><String>
<String> ::= <Letter> | '['<Cipher>']'
<Letter> ::= '+'<Letter> | '-'<Letter> |
'A' | 'B' | 'C' | 'D' | 'E' | 'F' | 'G' | 'H' | 'I' | 'J' | 'K' | 'L' | 'M' |
'N' | 'O' | 'P' | 'Q' | 'R' | 'S' | 'T' | 'U' | 'V' | 'W' | 'X' | 'Y' | 'Z'

ここでそれぞれの記号は以下のような意味を表す．

+(文字) : その文字の次のアルファベットを表す (ただし 'Z' の次のアルファベットは 'A' であるとする)

-(文字) : その文字の前のアルファベットを表す (ただし 'A' の前のアルファベットは 'Z' であるとする)

[(文字列)] : その文字列を左右反転した文字列を表す

しかしこの暗号文を生成する機械には現在故障が発生しており，暗号文のうちアルファベットの箇所が数文字壊れて読めなくなっている場合がある．読めない文字は仮に '?' と表されている．
調査の結果，壊れた文字の埋め方は，復号後の文字列が，復号後の文字列としてありえる文字列の中で辞書順最小になるようなものであることがわかった．
あなたの仕事はこの暗号文を正しく復号することである．

Input

入力は複数のデータセットから構成される．
各データセットは，上記の BNF で定義された暗号文において，一部の大文字のアルファベットが ‘?’ に置き換えられた文字列を含む 1 行からなる．
各文字列の長さは $80$ 以下であると仮定してよい．
また各データセットに含まれる '?' の数は $0$ 以上 $3$ 以下であると仮定してよい．

入力の終了は '.' の1文字だけを含む行で表される．

Output

各データセットに対して，復号後の文字列が辞書順最小になるように暗号文を復号したときの，復号後の文字列を出力せよ．

Sample Input

A+A++A
Z-Z--Z+-Z
[ESREVER]
J---?---J
++++++++A+++Z-----------A+++Z
[[++-+--?[--++-?++-+++L]][-+-----+-O]]++++---+L
.

Output for Sample Input

ABC
ZYXZ
REVERSE
JAG
ICPC
JAPAN

Solution in Python3 (judge verdict: Accepted)

import sys
from itertools import product
from collections import deque
read = sys.stdin.read
def enc(S:str, p:int):
    return chr((ord(S) + p - ord("A")) % 26  + ord("A")) 
def f(S:str):
    res = []
    plus_minus = 0
    # q = deque()
    stack = []
    for s in S:
        if("A" <= s <= "Z"):
            s = enc(s, plus_minus)
            plus_minus = 0
            res.append(s)
        elif s=="-":
            plus_minus-=1
        elif s=="+":
            plus_minus+=1
        elif s=="[":
            stack.append(len(res))
        else:
            if not stack:
                return None
            rev_i = stack.pop()
            res[rev_i:] = res[rev_i:][::-1]

    if(stack or plus_minus):
        raise Exception
        return None
    return "".join(res)
def solve(S:str):
    ans = "Z"*len(S)
    L = [chr(ord("A") + i) for i in range(26)]
    for it in product(L, repeat=S.count("?")):
        *it, = it
        # print(it)
        idx = 0
        T = ""
        for s in S:
            if(s == "?"):
                T += it[idx]
                idx += 1
            else:
                T += s
        res = f(T)
        if(res is None):
            continue
        # print(res)
        # if(S == "[[++-+--?[--++-?++-+++L]][-+-----+-O]]++++---+L"):
        #     print(res)
        ans = min(ans, res)
    print(ans)
def main():
    
    S = read()
    for s in S.split("\n"):
        if(s=="."):
            break
        solve(s)



if __name__ == "__main__":
    main()