Brainf*ck 括弧の対応

さて、Brainf*ck で括弧の対応関係は必須なんだろうか。要は、こんなのはエラーになるべきなのだろうか。

]

構文木版では、パースエラーになる、括弧の対応をもって文法規則にしているんだから当たり前だ。
一方その場実行版ではエラーにならない、「]」実行時点でテープ値は(何もしてないので)「0」、対応する括弧を探しに行くジャンプは行われないのだ。だから

+]

はエラーになる、corresponding_bracket の中でポインタ位置の不正をチェックしてる所に引っ掛かる。

どちらの動作があるべき姿なんだろうか。