問題は：
a. mpかっこが一致するすべてのシンボルを記述する名前付きの直接再帰 EBNF ルールを作成します: ()、()()()、()(()())、および((())())(()(()))()。(、())(、または(()()を正当なものとして認識すべきではありません。
b. 表形式の証明とその派生ツリーを記述し()(()())て、合法であるとどのように認識されているかを示します。
これまでのところ、1 つのもっともらしい解決策を考えてきました。それが正しいかどうか、または何かが欠けているかどうかはわかりません。
<mp> ::= "" | ( <mp> "(" <mp> ")" )
助言がありますか？