独自の有限状態マシンを描画します。
このアプリは、有限状態マシンを削減するアルゴリズムを実装しています。
有限状態マシン (FSM) または有限状態オートマトン (複数形: オートマトン)、または単にステート マシンは、コンピューター プログラムと順序論理回路の両方を設計するために使用される計算の数学的モデルです。これは、有限数の状態の 1 つをとることができる抽象的なマシンとして考えられています。マシンは一度に 1 つの状態のみになります。特定の時点での状態を現在の状態と呼びます。トリガーとなるイベントまたは条件によって開始されると、ある状態から別の状態に変化することがあります。これを遷移と呼びます。特定の FSM は、その状態のリストと各遷移のトリガー条件によって定義されます。
ステートマシンの動作は、与えられた一連のイベントに応じて、所定の一連のアクションを実行する現代社会の多くのデバイスで観察できます。簡単な例としては、適切な組み合わせのコインを投入すると商品が払い出される自動販売機、乗客を上層階で降ろしてから降りるエレベーター、車が待機しているときに順序が変わる信号機、正しい順序で組み合わせ番号を入力する必要があるダイヤル錠などがあります。
有限状態マシンは、電子設計自動化、通信プロトコル設計、言語解析、その他のエンジニアリング アプリケーションなど、多数の問題をモデル化できます。生物学や人工知能の研究では、状態マシンまたは状態マシンの階層は、神経系を記述するために、また言語学では自然言語の文法を記述するために使用されてきました。
続きを読む
