オートマトンベースのプログラミングは、プログラムの一部を有限オートマトンとして扱うコンピュータープログラミングのパラダイムです。 各オートマトンは一度に1つの「ステップ」を実行でき、プログラムの実行は個々のステップに分割されます。 ステップは、「状態」を表す変数の値を変更することによって互いに通信し、プログラムの制御フローはその変数の値によって決定されます。

"state"変数は単純なenumデータ型にすることができますが、もっと複雑なデータ構造を使用することもできます。 一般的な手法は、 状態遷移表 、すべての可能な状態を表す行、および入力パラメータを表す列を含む2次元配列を作成することです。 行と列が一致するテーブルの値は、両方の条件が満たされた場合にマシンが移行する必要がある次の状態です。

有限状態機械、入力、パラダイム、プログラミング用語