決定論的有限マシン（DFA）という用語は、入力マークに適用する必要があるアクションを明確に決定する有限自動マシンを表します。「決定論的」という用語は、マシンが入力マークチェーンごとに1つの特定のアクションのみを実行できることを意味します。「最後に」という用語は、マシンに多くの条件しか持たないことを意味し、入力マークの長さは有限です。
Der Begriff Deterministische Endliche Automat (DFA) steht für eine endliche automatische Maschine, die eindeutig bestimmt, welche Aktionen auf eine Eingabezeichenkette angewendet werden sollen. Der Begriff "Deterministisch" bedeutet, dass der Automat nur eine bestimmte Aktion pro Eingabezeichenkette ausführen kann. Der Begriff "Endlich" bedeutet, dass der Automat nur endliche viele Zustände haben kann und die Eingabezeichenkette eine endliche Länge hat.