有限オートマトン

コンパイラの字句解析では、有限オートマトンが広く用いられている。

有限オートマトンは、状態遷移と入力記号によって挙動が決まる数学モデルだ。

正規言語は、有限オートマトンによって認識される言語である。