NFA接受2，5，8，11，.所有二进制字符串的集合。1s数

Question

如何构造接受所有字符串w集的NFA，使n1(w) mod 3> 1，其中n1(w)是字母表= {0,1}上w中的1s数？

基本上是一个NFA，它接受带有2，5，8，.的所有字符串的集合。1s数。

我想语言的正则表达式是(0*10*10*)(0*10*10*10*)*

我可以为上面的常规执行创建一个NFA，但我不确定这是否可以进一步减少，或者它一开始是否正确。我对普通语言，DFA，NFA都很陌生。请帮帮我!

Answer 1

让我在字母表{0,1}上提出这个NFA

Q = {A, B, C}
q0 = {A}
F = {C}
d = {(A,0,A)
     (A,1,B)
     (B,0,B)
     (B,1,C)
     (C,0,C)
     (C,1,A)}

请检查它是否符合要求。