automata - 如何编写这个自动机

Question

我正在尝试解决 Peter Linz 的形式语言和自动机简介中的一些问题。在第 2.1 节（确定性有限接受器）中，我无法编写自动机，需要帮助来解决它。

问题 17-(f)，第 2 章：

L = {w : |na(W) - nb(W)| % 3 < 2} 

na是a单词中 的字符nb数，是单词中的字符数b。

我有解决方案，但我不知道如何在这里绘制它。

Answer 1

所以我们有 3 个状态：R0、R1、R2，这意味着除以 3 的余数。然后我们的自动机以 R0 为起始状态：

R0(a) -> R1
R0(b) -> R2
R1(a) -> R2
R1(b) -> R0
R2(a) -> R0
R2(b) -> R1

R0 和 R1 是接受状态。