DFAからの個々の文字は何のために立っていますか？
DFAは英語の略語であり、「決定論的な有限オートマトン」の略です。

「オートマトン」（オートマット）：条件と条件間の（入力への応答として）規定するルールの表で構成される抽象的な算術マシン。これに関連して、1つの（またはそれ以上の）最終状態を持つアクセプターのバリアントは、入力書のエピソード（正規表現に類似）が受け入れられるかどうかを確認します。

「有限」（最終的に）：可能な条件の数は限られています。

「決定論的」（決定論的）：特定の現在の状態と入力に対してのみ可能です。州の移行規則は常に明確です。