目次:
定義-ステートマシンの意味
ステートマシンは、コンピュータープログラムまたはデジタルロジックの設計に使用される概念です。 状態マシンには、有限状態マシンと無限状態マシンの2種類があります。 前者は、条件が満たされたときにロジックのパスを検出できるフローグラフでモデル化できる有限数の状態、遷移、およびアクションで構成されます。 後者は実際には使用されません。
ステートマシンは、特定の時間に何かのステータスを保存するデバイスです。 ステータスは入力に基づいて変化し、実装された変更の結果の出力を提供します。 有限状態マシンには、有限の内部メモリがあります。 入力シンボルは、ユーザーインターフェイスの形式で出力機能を生成するシーケンスで読み取られます。
状態マシンは、状態図を使用して表されます。 ステートマシンの出力は、入力と現在の状態の関数です。 ステートマシンは、電気工学、言語学、コンピューターサイエンス、哲学、生物学、数学、論理などの分野で重要な役割を果たします。 これらは、アプリケーションの動作のモデリング、ソフトウェアエンジニアリング、ハードウェアデジタルシステムの設計、ネットワークプロトコル、コンパイラ、および計算と言語の研究に最適です。
TechopediaはState Machineについて説明します
ステートマシンの動作は、開始状態から始まります。 移行が成功すると、最終的に受け入れ状態になります。 移行は、提供された入力に基づいて行われます。 現在の状態は、システムの過去の状態に依存します。 形成される状態の数は、使用可能なメモリの状態によって異なります。 遷移は特定の条件に基づいて有効になり、状態の変化を示します。 アクションは、特定の瞬間に実行されるアクティビティを表します。 さまざまなタイプのアクションは、遷移アクション、入力アクション、エントリアクション、および出口アクションです。
決定論的オートマトンには、可能な入力ごとに、すべての状態で1つの遷移があります。 非決定的オートマトンでは、状態入力は1つ、多数、または遷移なしになります。 状態が1つだけの状態マシンは組み合わせ状態マシンと呼ばれ、入力アクションのみを使用します。
ステートマシンの2つの異なるグループは、アクセプターとトランスデューサーです。 アクセプターは、マシンが入力を受け入れるか拒否するかに基づいて、バイナリ出力を生成します。 入力の処理中に、現在の状態が受け入れられている場合、入力は受け入れられます。 それ以外の場合は拒否されます。 ステートマシンで受け入れられる言語は、通常言語と呼ばれます。 開始状態はどこからでも指す矢印で表され、受け入れられた状態は二重丸を使用して表されます。 変換器は、アクションを使用して、指定された入力に基づいて出力を処理します。 ムーアとミーリーの機械はトランスデューサの例です。
修正されていないモデリング言語ステートマシンも、ムーアとミーリーの両方のマシン特性を備えているため、広く使用されています。 これらには、直交領域や階層的にネストされた状態などの追加の概念が含まれます。
