automata - n で割り切れる桁数の合計を受け入れる有限状態の自動化

Question

桁の合計が 3 で割り切れる場合に受け入れる有限ステート マシン。

桁の合計がnで割り切れる場合に受け入れる有限状態マシンを構築しようとしています。これまでのところ、n=2 と n=3 で実行できましたが、従うことができる一般化された手順は見つかりませんでした。どんな助けでも大歓迎です。

Answer 1

あなたのアルファベットは 3 進数で、0、1、2 で構成されているようです。任意の n について、n で割ったときの余りを表す各状態を持つ n ステート マシンが必要です。状態 z からの 0、1、または 2 に等しい任意の x の遷移は、状態 (z+x)%n に進みます。ここで、"%" は剰余演算子を表します。