決定性有限状態機械
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/10/17 08:19 UTC 版)
「計算可能性理論」の記事における「決定性有限状態機械」の解説
決定性有限オートマトン（DFA）、あるいは単に有限状態機械とも呼ぶ。単純な計算モデルである。現在、実際に使われているコンピュータは、有限状態機械としてモデル化できる。この機械は状態の集合を持ち、入力列によって働く状態遷移の集合を持つ。一部の状態は受容状態と呼ばれる。入力列は一度に1文字ずつ機械に入力され、現在状態から状態遷移先への遷移条件と入力が比較され、マッチングするものがあればその状態が新たな状態となる。入力列が終了したとき機械が受容状態にあれば、全入力列が受容されたということができる。
※この「決定性有限状態機械」の解説は、「計算可能性理論」の解説の一部です。
「決定性有限状態機械」を含む「計算可能性理論」の記事については、「計算可能性理論」の概要を参照ください。
ウィキペディア小見出し辞書の「決定性有限状態機械」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- 決定性有限状態機械のページへのリンク
