一个命题的可判定性是指：存在一种算法能给出该命题成立与否的结论。给定文法 G，只有当G为 (1) 时，命题“L(G)是空集、有限集或无限集”才是可判定的，当给出两个不同文法G1和G2，只有当G1，G2都是 (2) 时命题“L(G1)＝L(G2)”才是可判定的。

2（）

A．1型

B．2型

C．3型

D．0型

E．2型或3型

F．1型或2型或3型

G．0型或1型或2型或3型

家兔的灰毛（A）对白毛（a）为显性，短毛（B）对长毛（b）为显性。控制这两对性状的遗传因子是独立遗传的。现将长毛灰兔与短毛白兔两纯种杂交，再让F₁的短毛灰兔相互交配获得F₂，请分析并回答下列问题：

在F₂中短毛兔占的比例为（），雌性长毛灰兔的比例为（）。