models - 有限状態マシンはどのように除算を実行しますか?

Question

私は計算モデルのコースを受講しており、現在は有限状態マシンを行っています。私の仕事の 1 つは、3 の除算を実行する FSM を作成することです。モデルを単純化するために、マシンは 3 の倍数のみを受け入れます。これが正確にどのように機能するかはわかりません。特に、FSM が 1 つのバイナリ値しか出力しないと想像しているためです。例（2または4で割る）またはこれにアプローチする方法のヒントを教えてください。

Answer 1

これはあなたが必要としているものだと思います (画像が悪くてすみません)。「E」はイプシロン/ラムダ/出力なしを表します。エッジのラベルは「入力/出力」を示します。読み込まれたシンボルごとに、ラムダ (出力なし) の可能性がある対応する出力もあります。