有限状态机如何执行除法？

Question

我正在学习计算模型课程，目前我们正在做有限状态机。我的任务之一是绘制一个执行3分割的FSM;为了简化模型，机器只接受3的倍数。我不确定这是如何工作的，特别是因为我想FSM只输出单个二进制值。你们可以举例说明（除以2或4）或提示如何处理这个问题吗？

Answer 1

这就是你所需要的，我认为（对不好的图片感到抱歉）。 'E'代表epsilon / lambda / no-output。边缘的标签表示“输入/输出”。对于每个符号读取，还有一个相应的输出，可能是lambda（无输出）。