首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
一个命题的可判定性是指:存在一种算法能给出该命题成立与否的结论。给定文法 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
52
问题
一个命题的可判定性是指:存在一种算法能给出该命题成立与否的结论。给定文法 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型
答案
E
解析
转载请注明原文地址:https://kaotiyun.com/show/TtTZ777K
本试题收录于:
数据库系统工程师上午基础知识考试题库软考中级分类
0
数据库系统工程师上午基础知识考试
软考中级
相关试题推荐
某待开发的信息系统工作分解结构图如下图,其中标有“(38)”的方框应该填写的内容是(38)。
以下关于网络协议的叙述中,_________是正确的。
__________属于第四代移动通信技术标准。
下表是项目甲、乙、丙三个项目的进度数据,则()最有可能在成本的约束内完成。
绘制数据流图是软件设计过程的一部分,用以表明信息在系统中的流向。数据流图的基本组成部分包括()。
某项目范围基准发生变化,经(62)同意,对需求规格说明书进行变更,则该配置项的状态应从(63)。(63)
为了保护网络系统的硬件、软件及其系统中的数据,需要相应的网络安全工具。以下安全工具中,()被比喻为网络安全的大门,用来鉴别什么样的数据包可以进入企业内部网。
(2010下监理)基线(Baseline)是指一个(或一组)配置项在项目生命周期的不同时间点上通过______而进入正式受控的一种状态。
(2007上系分)采用UML分析用户需求时,用例UC1可以出现在用例UC2出现的任何位置,那么UC1和UC2之间的关系是______。
(2009下架构)面向对象的设计模型包含以______(1)表示的软件体系结构图,以______(2)表示的用例实现图,完整精确的类图,针对复杂对象的状态图和用以描述流程化处理的活动图等。(2)
随机试题
淋巴细胞的体积为
患者,胸痛彻背,感寒痛甚,胸闷气短,心悸,甚时喘息不得卧,自汗出,四肢冷,舌苔白,脉沉细。选方为
A、牙数目异常B、牙齿形态异常C、牙齿结构异常D、牙齿萌出异常E、牙齿结构形态均异常;下列牙齿发育异常的类型氟斑牙
高倍数泡沫灭火系统喷水试验完毕,将水放空后,以手动或自动控制的方式对防护区进行喷射泡沫试验。喷射泡沫的时间不小于()。
武汉长江电子科技有限公司(420133××××)利用企业自有资金持进口电焊机(法检、自动进口许可证管理)。货物于2008年5月20日运抵上海浦东国际机场(2233),办理相关手续后,经海关批准于次日直接转运至武汉,委托武汉中远货运代理有限公司向武汉机场海
(2008年考试真题)商品证券是证明持有人有商品所有权或使用权的凭证,取得了这种证券就等于取得这种商品的所有权。下面属于商品证券的有()。
新上海商业城、豫园旅游商城、徐家汇商城、火车站不夜城著名的商业“四城”,呈块状分布。()
营养素密度的公式正确的是()。
“灌木林原野事件”
党在社会主义初级阶段的基本纲领规定,建设有中国特色社会主义经济的基本目标是()
最新回复
(
0
)