如何为给定语言绘制 DFA？

Question

给出接受语言 L = {w | 中的任何单词的 DFA 的有限状态图 w ∈ {a, b}∗ 和 w 交替 a's 和 b's 并且具有偶数个 b's}。

我的尝试：我在如何处理 b 的偶数部分时遇到问题。

Answer 1

该语言也包含奇数长度的字符串。 即具有偶数个 b 和一个多或少一个 a 以及交替 a 和 b 的字符串。 这种语言不能被只有两个状态的有限状态自动机接受。 如果一个自动机有两个状态，a's 转换到同一个状态，那么该自动机将接受不属于该语言的任意数量的连续 a's 的字符串，因为没有交替。

下面给出了接受这种语言的 FSA，标签解释了每个状态代表什么。