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

Question

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

令 segma = {a,b}。考虑 segma* 中具有奇数的所有字符串的集合 子字符串“ab”但没有“bb”作为子字符串的出现次数。 给出一个包含六个接受集合的状态的 DFA。

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

Answer 1

这里有一个关于如何解决这个问题的想法。想想你需要满足的条件。

首先，您需要有奇数个“ab”，这意味着您的 DFA 应该有一个“计数器”循环，每次遇到奇数个“ab”时，您的 DFA 都会处于一个状态，这样此状态具有允许您的 DFA 向接受状态移动的优势。反之，每次遇到偶数个“ab”，你的DFA就应该处于一个状态，这样这个状态就不能前进，除非你遇到另一个“ab”。

第二，字符串不能有“bb”。这意味着如果您遇到单个“b”，随后的“b”会将您的 DFA 驱动到接收器，这意味着您的 DFA 会拒绝该字符串。

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