アルファベット{ab}上のスリーステートFAが有限の言語を持っているかどうかをテストするために、56個の文字列を記述する方法を理解しようとしています。
56という数字は、マシンにN個の状態があり、アルファベットにm個の文字がある場合、合計でm ^ N + m ^（N + 1）+ m ^（N + 2）+になるという定理に基づいています。 .. + m ^（2N-1）N<=文字列の長さ<2Nの範囲の異なる入力文字列。したがって、2 ^ 3 2 ^ 4 2 ^ 5=56文字列。
マシン上で実行することですべてをテストできることを私は知っています。受け入れられるものがあれば言語は無限であり、受け入れられない場合は言語は有限です。
文字列の説明方法がわかりません。どんな助けでも大歓迎です！