我需要为状态的顺序顺序创建一个 DFA，例如A -> B -> C -> B -> A 依此类推，其中“A”是开始和结束状态，1 是到下一个状态的转换，0 只是循环回到当前状态。 1 和 0 是唯一的输入
下面的问题
1.1 你的任务是设计交通灯的计算模型 它使用三种颜色，红色 (r)、琥珀色 (a) 和绿色 (g)。顺序的 红绿灯的流程是r → a → g → a → r等等。考虑等待时间 每个灯上都标有二进制 0 的帮助，并从一盏灯切换到 另一个由二进制 1 标记。每个灯的等待是可选的，可以继续 任何持续时间。如果没有输入，则指示灯保持红色 (r)。如果考虑红色（r） 作为你的起点和终点，红绿灯必须完成一次循环，那么，
1.1.1 考虑给定的工作流，画一个可以接受这种语言的DFA 以连续的方式。
我发现我可以按此顺序执行此操作的唯一方法是拥有 2 个 B 状态，这样可以吗还是有其他方法可以做到这一点？
是的，就像陈峰上面说的，2个B状态就可以了，没有别的办法了