当前位置:百科知识 > 中级数据库系统工程师

问题描述:

[单选] 一个命题的可判定性是指:存在一种算法能给出该命题成立与否的结论。给定文法 G,只有当G为 ()时,命题“L(G)是空集、有限集或无限集”才是可判定的,当给出两个不同文法G1和G2,只有当G1,G2都是 ()时命题“L(G1)=L(G2)”才是可判定的。 1()
A.1型 B.2型 C.3型 D.0型 E.2型或3型
参考答案:查看
答案解析:
☆收藏

随机题目