如何写这个自动机

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处于接受状态。