首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
一个命题的可判定性是指:存在一种算法能给出该命题成立与否的结论。给定文法 G,只有当G为(26)时,命题“L(G)是空集、有限集或无限集”才是可判定的,当给出两个不同文法G1和G2,只有当G1,G2都是(27)时命题“L(G1)=L(G2)”才是可判定的。
一个命题的可判定性是指:存在一种算法能给出该命题成立与否的结论。给定文法 G,只有当G为(26)时,命题“L(G)是空集、有限集或无限集”才是可判定的,当给出两个不同文法G1和G2,只有当G1,G2都是(27)时命题“L(G1)=L(G2)”才是可判定的。
admin
2019-03-04
43
问题
一个命题的可判定性是指:存在一种算法能给出该命题成立与否的结论。给定文法 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型
答案
C
解析
用计算机对自然语言进行完全自动处理是一件十分困难的事情。这是因为自然语言歧义性大,用形式化的语法描述起来很困难。为了便于计算机的自动处理,语言的形式化描述便显得十分重要。现有算法语言在形式上都是形式语言。
在文法G[S]中,如果存在S
α,则称α是文法G的一个句型,仅含终结符号的句型是文法G的一个句子。语言L(G)是由文法G产生的所有句子组成的集合,其形式定义为:L(G)={α|S
α且α∈
)。我们称文法G1和文法G2是等价的,如果有 L(G1)=L(G2)。即有可能不同的文法产生相同的语言。
文法G是任意给出的,有可能出现这样的情况:给定某个文法G,V
T
中的终止符所组成的任何字符串都无法识别出它能由G生成,即L(G)是个空集。也可能有某个给定的文法G,其L(G)无限制。由于V
T
的终止符可重复出现,字符串长度无限制,因此不可能用列举终止字符串的方法进行句法分析。
那么,如何判断给定G的乙(G)是无限集、有限集,或是空集呢?我们期望能有一种算法,可直接从G出发,通过有限步运算给出L(G)是空集、有限集或无限集的结论。若存在这样的算法,就是可判定的,否则就不是可判定的。研究中发现可否判定L(G)是空集、有限集或无限集与文法G有关。可以证明,当文法G是2型或3型时,是可判定的。
对两个文法G1与G2是否等价即是否有L(G1)=L(G2),只有当G1和G2都是3型文法时,才是可判定的。
转载请注明原文地址:https://kaotiyun.com/show/UtTZ777K
本试题收录于:
数据库系统工程师上午基础知识考试题库软考中级分类
0
数据库系统工程师上午基础知识考试
软考中级
相关试题推荐
已知网络图各段路线所需费用如下图所示,图中甲线和乙线上的数字分别代表相应点的有关费用。从甲线到乙线的最小费用路线有___________(66)条,最小费用为___________(67)。(67)
某系统集成项目的项目经理在制定项目章程时,必须要考虑涉及并影响项目的环境和组织因素。__________不属于环境和组织因素的内容。
射频识别(RFID)是物联网中常用的无线通信技术,它通过__________识别特定目标并读写相关数据。
在信息系统安全建设中,___________确立全方位的防御体系,一般会告诉用户应有的责任,组织规定的网络访问、服务访问、本地和远地的用户认证、拨入和拨出、磁盘和数据加密、病毒防护措施,以及雇员培训等,并保证所有可能受到攻击的地方都必须以同样安全级别加以保
___________指在软件维护阶段,为了检测由于代码修改而可能引入的错误所进行的测试活动。
软件项目质量保证中的审计指的是__________。
通过收集和分析计算机系统或网络的关键节点信息,以发现网络或系统中是否有违反安全策略的行为和被攻击的迹象的技术被称为()。
IDS发现网络接口收到来自特定IP地址的大量无效的非正常生成的数据包,使服务器过于繁忙以至于不能应答请求,IDS会将本次攻击方式定义为()。
(2014下集管)信息系统通过试运行,系统的各种问题都已经暴露在用户面前,这时通常可以考虑进入______阶段。
(2013下集管)(2010上系分)项目管理是保证项目成功的核心手段,在项目实施过程中具有重大作用。_____(1)是项目管理的重要元素,是项目实施的基础;_____(2)要确定哪些工作是项目应该做的,哪些工作不应该包含在项目中;_____(3)采用科学的
随机试题
计算机病毒可以通过网络、光盘、移动硬盘进行传播。()
纤维组织玻璃样变性可发生于
正常人瞳孔直径为
中国甲公司与德国乙公司合同纠纷一案,甲公司按照合同中的仲裁条款向某仲裁委员会申请仲裁,仲裁庭经过审理并作出仲裁裁决后,甲公司不得以下列哪种理由申请撤销该涉外仲裁裁决?()
知识产权海关保护备案的有效期为7年。()
马斯洛的需要层次理论中,自主权、成就感等需要是指()。
以生产预算为基础编制的预算有()。
用于向国内外宣布重要事项或法定事项时所使用的文种是()。
Thedoctorpreferredtoresignratherthanbeaccusedpubliclyofinfamousconduct.
Educationofexceptionalchildrenmeansprovisionofspecialeducationalservicestothosechildrenwhoareeitherhandicappedo
最新回复
(
0
)