Ein NEA \(a = (Q, \varSigma, q_0, \Delta, F)\) heißt deterministisch endlicher Automat (DEA), falls zu jedem \((q,a) \in Q \times \varSigma\) genau ein q’ mit \((q, a, q') \in \Delta\) existiert.
Dann ist \(\Delta\) definiert durch \(\delta: Q \times \varSigma \rightarrow Q\) mit