DFAは英語の略語であり、「決定論的な有限オートマトン」の略です。

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

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

「決定論的」（決定論的）：特定の現在の状態と入力に対してのみ可能です。州の移行規則は常に明確です。
DFA ist eine englische Abkürzung und steht für "Deterministic Finite Automaton".

"Automaton"(Automat): Eine abstrakte Rechenmaschine welche aus Zuständen und und einer Tabelle von Regeln besteht, die vorschreiben wie (als Reaktion auf die Eingabe) zwischen den Zuständen gewechselt werden soll. Wichtig in diesem Kontext ist die Variante Akzeptor, welche einen(oder mehrere) Endzustände haben, die bestätigen, ob ein Folge von Eingabebuchstaben (analog zu Regular Expressions) akzeptiert wird oder nicht.

"Finite"(endlich): Es gibt nur eine endliche Anzahl von möglichen Zuständen.

"Deterministic"(deterministisch): Ist gibt für einen gegebenen aktuellen Zustand und Eingabe jeweils nur einen möglichen Folgezustand. Die Zustandsübergangsregeln sind also immer eindeutig.