2017有限状態機械についての個人的なまとめです。抽象機械で表される計算モデルの一種である。入力された文字列が自身の定義する文法で受理可能かを判断する。内部状態として現在の状態を持ち、これと一連の遷移規則から構成される。ここでの遷移規則とは現在の状態と入力文字から次の状態を決定する規則である。遷移可能な状態数は有限であり、遷移規則の数も有限である。受理されるとは、入力を一文字ずつ読み込み、開始状態から遷移規則に基づいて終了状態まで遷移できるということである。有限状態機械を有限オートマトンと呼ぶこともある。以下のような図で表現される。図中の数字付きの円が状態、文字付きの矢印が遷移規則を表す。終了状態は二重円で表されるとする。動作をプログラムでシンプルに実装すると以下のようになる。決定性のものと非決定性のものが存在する。