独自の有限状態マシンを描きます。
このアプリは、有限状態マシンを削減するためのアルゴリズムを実装します。
有限状態マシン(FSM)または有限状態のオートマトン(複数:オートマトン)、または単に状態マシンは、コンピュータープログラムとシーケンシャルロジック回路の両方を設計するために使用される計算の数学モデルです。これは、有限数の州の1つにある抽象的なマシンとして考案されています。マシンは一度に1つの状態のみです。それがいつでもある状態は、現在の状態と呼ばれます。トリガーイベントまたは状態によって開始されると、ある状態から別の状態に変更できます。これは遷移と呼ばれます。特定のFSMは、その状態のリストと、各遷移のトリガー条件によって定義されます。
州の機械の動作は、現代社会の多くのデバイスで観察でき、それらが提示されている一連のイベントに応じて、所定の一連のアクションを実行します。簡単な例は、コインの適切な組み合わせが堆積したときに製品を分配する自動販売機、下階でライダーを降ろすエレベーター、車が待っているときにシーケンスを変更する信号機、および適切な順序での組み合わせ数の入力を必要とする組み合わせロックです。
有限状態マシンは、多くの問題をモデル化できます。その中には、電子設計自動化、通信プロトコル設計、言語解析、その他のエンジニアリングアプリケーションがあります。生物学および人工知能の研究では、州の機械の州の機械または階層が、神経系と言語学において、自然言語の文法を説明するために使用されてきました。