一个命题的可判定性是指:存在一种算法能给出该命题成立与否的结论。给定文法 G,只有当G为(26)时,命题“L(G)是空集、有限集或无限集”才是可判定的,当给出两个不同文法G1和G2,只有当G1,G2都是(27)时命题“L(G1)=L(G2)”才是可判定的。A.1型B.2型C.3型D.0型E.2型或3型
一个命题的可判定性是指:存在一种算法能给出该命题成立与否的结论。给定文法 G,只有当G为(26)时,命题“L(G)是空集、有限集或无限集”才是可判定的,当给出两个不同文法G1和G2,只有当G1,G2都是(27)时命题“L(G1)=L(G2)”才是可判定的。
A.1型
B.2型
C.3型
D.0型
E.2型或3型
相关考题:
考虑下述文法,S为开始符号 G1[S]:S→A A→aAb | ab G2[S] S→AA→aA |a| 下列结论中为真的是(28)。A.G1是LR(0)文法,G2不是LR(1)文法B.G2是LR(0)文法,G1不是LR(1)文法C.G2是LR(1)文法,G1不是LR(1)文法D.G1和G2都是LR(1)文法
右图所示的职能组织结构中,m、f1.f2.f3.g1、g2等分别代表不同的工作部门或主管人员。这个组织结构表明()。A、m可以直接指挥g1和g2B、g2只接受f2下达的指令C、g1可直接接受m的指令D、g1接受f1、f2和f3的直接指挥
填空题如果G1是一个具有n个顶点的连通无向图,那么G1最多有()条边,G1最少有()条边。如果G2是一个具有n个顶点的强连通有向图,那么G2最多有()条边,G2最少有()条边。