技術士第一次試験 専門科目情報工学部門 H30

次の曖昧さを持つ文法によって<式>を定義する。ここでは文法の生成規則をBNF（Backus Naur Form）で示している。非終端記号は<>でくくり、終端記号は""でくくって表す。式 x - 3 + y - 5 を上の文法に当てはめたときに生成可能な構文木（導出木）は何通りあるか。