下图所示为两个有限自动机M1和M2(A是初态、C是终态)，(48)。

admin2021-01-13 4

问题下图所示为两个有限自动机M1和M2(A是初态、C是终态)，(48)。

选项 A、M1和M2都是确定的有限自动机
B、M1和M2都是不确定的有限自动机
C、M1是确定的有限自动机，M2是不确定的有限自动机
D、M1是不确定的有限自动机，M2是确定的有限自动机

答案D

解析在计算理论中，非确定有限状态自动机或非确定有限自动机(NFA)是对每个状态和输入符号对可以有多个可能的下一个状态的有限状态自动机。这区别于确定有限状态自动机(DFA)，它的下一个可能状态是唯一确定的。图中，M1的状态A中当输入0时，既可以转为状态A也可以转为状态B，M2中的每个状态在一种输入的情况下，下一个状态始终是确定的。所以，M1为不确定的，M2为确定的。

转载请注明原文地址:https://kaotiyun.com/show/VHCZ777K

本试题收录于：软件设计师上午基础知识考试题库软考中级分类

软件设计师上午基础知识考试

软考中级

相关试题推荐

随机试题

最新回复(0)

下图所示为两个有限自动机M1和M2(A是初态、C是终态)，(48)。

软件设计师上午基础知识考试

软考中级

阅读以下说明，回答问题1～4，将解答填入对应的解答栏内。[说明]现有如下关系模式：R(A#，B#，C，DE)，其中，A#，B#为组合键，R上存在的函数依赖有(A#，B#)→E，B#→C，C→D

阅读下列说明和C程序，将应填入(n)处的字句写在对应栏中。[说明]借助一个栈结构，可实现二叉树的非递归遍历算法。InOrderTraverse数实现中序非递归遍历，遍历过程如下：若不是空树，根节点入栈，进入左子树；若已

阅读下列函数说明、图和C代码，回答问题[说明]假定用一个整型数组表示一个长整数，数组的每个元素存储长整数的一位数字，则实际的长整数m表示为：m=a[k]×10k-2+a[k-1]×10k-3+…+a[3]×10+a[2]其中a[1

下面关于在I/O设备与主机间交换数据的叙述，(4)是错误的。

(2005年第54题)风湿性心脏瓣膜病患者出现下列哪种征象应首先考虑有感染性心内膜炎的可能

玉液汤的适应证是增液汤的适应证是

饮水加氟适用于龋病高发区

建筑基坑支护采用重力式水泥土墙，当墙底为中密细砂，根据抗倾覆稳定条件确定其嵌固深度和墙体厚度时，需考虑的因素有()。

全淹没灭火系统的干粉喷射时间不用大于()s。

2001年5月，小王与某公司签订了4年期的劳动合同，2003年6月，小王因出国留学主动提出解除劳动合同，某公司()支付小王经济补偿金。

某单位要在报名者中挑选2名献血者进行体检。最不可能被挑选上的是2007年以来已经献过血的人以及伤残人士。如果上述断定是真的，则以下哪项所言及的报名者最有可能被选上?()

以下关于SnifferPro的描述中，哪个是错误的?——

HackersAttackUSStateDepartmentComputersTheU.S.StateDepartmenthascloseditspublicemailsystemandwebsitesafter