models - 有限状态机如何进行除法？

Question

我正在学习关于计算模型的课程，目前我们正在做有限状态机。我的任务之一是画出一个执行 3 除法的 FSM；为了简化模型，机器只接受 3 的倍数。我不确定这到底是如何工作的，特别是因为我想象 FSM 只输出单个二进制值。你们能否举出例子（除以 2 或 4）或提示如何解决这个问题？

Answer 1

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