二义性文法的处理 — 计算机填空题

设文法 G：S → if C then S | if C then S else S | a，其中 C 和 a 为终结符。该文法是二义性文法。若规定 else 与其前面最近的未匹配的 then 配对（最近匹配原则），则消除二义性后的等价文法中，须将 S 拆分为两个非终结符：M 表示'完整条件语句'，U 表示'不完整条件语句'（即无 else 部分的语句）。已知改写后产生式集为：M → if C then M else M | if C then U else M | a；U → if C then M | if C then U | a。则该文法共有____条产生式；按最近匹配原则，语句'if C then if C then a else a'中 else 应与____个 then 配对。