具有6个状态的确定性有限自动机

时间:2014-11-13 03:31:56

标签: dfa

我真的很陌生,并且确定如何开始。我正在尝试为练习做这个问题

让segma = {a,b}。考虑segma *中具有奇数的所有字符串的集合 子串“ab”的出现次数,但没有“bb”作为子串。 给DFA接受该套装的六个州。

我确实改变了我的解决方案。

Attempt

1 个答案:

答案 0 :(得分:0)

以下是如何处理这个问题的想法。想想你需要满足的条件。

首先,你需要有一个奇数的" ab",这意味着你的DFA应该有一个"计数器"循环,每当你遇到奇数的" ab"时,你的DFA将处于一种状态,这样这个状态就有一条边让你的DFA进入接受状态。相反,每当你遇到偶数个" ab"时,你的DFA应处于一种状态,这样这种状态就无法前进,除非你遇到另一个" ab"。

其次,字符串不能有" bb"。这意味着,如果您遇到过单个" b",后续" b"将您的DFA驱动到接收器,这意味着您的DFA拒绝该字符串。

将每个字符条件与边缘相关联可能更容易,因此如果满足某个条件,您的DFA可以移动到某个状态。