オートマトンの代表的なモデルである「有限オートマトン」は、有限個の「状態」と、状態間を移動するための「遷移規則」、そして文字列を読み込み終わったときに処理が成功したかどうかを判定する「受理状態（最終状態）」から構成されます。状態の遷移を図解した「状態遷移図」では、状態を円（○）で、遷移を矢印（→）で表し、受理状態は二重丸（◎）で描かれるのが一般的です。プログラムの内部では、正規表現にマッチするかどうかの判定や、コンパイラ（人間が書いたコードを機械語に翻訳するプログラム）がプログラムの文字列（ソースコード）を単語レベルに切り分ける「字句解析」の処理において、有限オートマトンのアルゴリズムが直接的に利用されています。これにより、複雑な条件分岐のコードを書かなくても、表や図に基づいたシンプルなルールで文字列の正当性を高速にチェックできます。
基本情報技術者試験では、状態遷移図（○と矢印の図）や状態遷移表が提示され、「特定の文字列（例えば『0101』など）を入力した結果、最終的にどの状態に行き着くか」、あるいは「受理状態（二重丸）に到達する入力文字列はどれか」といった、図を正確に読み解いてシミュレーションするトレース問題が頻出します。落ち着いて現在の状態から入力文字を一文字ずつ追いかければ必ず解ける問題ですので、得点源にしましょう。また、現在の状態と入力だけで次の状態が一意に決まる「決定性有限オートマトン」と、複数の遷移先があり得る「非決定性有限オートマトン」という用語の違いについても、概要レベルで問われることがあります。
オートマトンの動作を視覚的に表現した状態遷移図、文字列のパターンマッチングに用いられオートマトンと等価な表現能力を持つ正規表現、プログラムの翻訳過程の初期段階である字句解析などが関連します。