したがってこのマシンが状態遷移を繰り返すことを示している。言語の中でこのマシンが受容する文字列の集合が、このDFAの理解する言語である。受け付けて、0の個数が偶数である入力文字列のみを受理する。以下の状態遷移表で定義される。状態遷移図は以下の通りである。あるときは奇数個であることを意味する。入力されたとき、このオートマトンの状態は変化しない。含まれていたか否かがわかる。Aの言語は以下の正規表現で記述される正規言語である。Automaton)は輪状(環状)の遷移の連鎖がない決定性有限オートマトンである。換言すれば、このオートマトンでは有限の文字列集合しか表現できない。これは非常に高速な検索が可能な単語格納データ構造として使用される。最小化したADFAは非常にコンパクトになり、そのサイズは格納されるキーの数には比例しない。実際、ある閾値を越えると、格納する単語を増やしたときにデータ構造のサイズは減少しはじめる。その閾値サイズは格納される文字列がどれだけ複雑であるかに依存する。トライ木は一種のADFAである。(日時は個人設定で未設定ならばUTC)。表示-継承ライセンスの下で利用可能です。追加の条件が適用される場合があります。詳細は利用規約を参照してください。Cookieに関する声明モバイルビュ。