Huney

応用情報(AP) / オートマトンと形式言語

有限オートマトン

有限オートマトンとは、有限個の状態を持ち、入力を読みながら状態遷移を行うオートマトンです。

有限オートマトン

正式名称

Finite Automaton(ファイナイトオートマトン)

一言でいうと

有限個の状態を使って入力を判定するオートマトン

初心者向け説明

有限オートマトンとは、状態の数が有限個に決められているオートマトンです。

例えば、

q0
q1
q2

という3つの状態だけを持つ場合も有限オートマトンです。

開始状態から入力を1文字ずつ読み、状態遷移を行います。

そして、すべての入力を読み終えた時点で受理状態にいれば、その文字列を受理します。

ポイント

  • 状態の数が有限個
  • 開始状態から処理を始める
  • 入力終了時に受理状態かどうかで判定する

関連用語

関連記事

  • オートマトンとは?状態遷移図・有限オートマトン・DFAとNFAを基礎から理解しよう

🍯 はちみつメモ

有限オートマトン = 有限個の状態を使って入力を判定する仕組み