单项选择题
一个命题的可判定性是指：存在一种算法能给出该命题成立与否的结论。给定文法 G，只有当G为 (1) 时，命题“L(G)是空集、有限集或无限集”才是可判定的，当给出两个不同文法G1和G2，只有当G1，G2都是 (2) 时命题“L(G1)＝L(G2)”才是可判定的。
A．1型 B．2型 C．3型 D．0型 E．2型或3型 F．1型或2型或3型 G．0型或1型或2型或3型
A．① B．②⑧ C．③④ D．①②⑧④
A．0 B．3 C．5 D．6 E．10 F．16 G．20 H．28