确定性有限状态自动机（DFA）考试Q.

Question

问题是：

根据以下设计确定性有限状态自动机（DFA） 规格：

其字母为{0,1}。

其语言包含奇数为1的所有单词。

不接受0（即使它们是字母表的一部分）。

因此，我确定这意味着它只接受例如“111”并拒绝“11”

我的第一次尝试，虽然它有效（接受111次拒绝11次），但它接受了0 some limitations

我的第二次尝试我首先尝试创建一个转换表然后是图表，但q1没有阶段到q2，除非我的表格不正确

我的最后一次尝试......我觉得呢？但我不确定这个图表是否有效

有人可以让我对3个图表中哪一个是正确的/正确的方向给出一些见解，以及我将如何解决这个问题/做一个转换表

更新：你的意思是这样的@PavelPájaHalbich

Answer 1

您的最终图表很好（但无效）。要使其有效，您需要添加转换：

• q1 - ＆gt; q2使用0
• q2 - ＆gt; q2使用0,1（这是经典的失败状态）

然后你将有3个状态，每个状态定义转换到其他状态，一个起始状态（q0）和一组接受状态（{q1}）。