DFA (deterministischer endlicher Automat)

$ L(M)\ =(Z,\Sigma ,\delta ,q_{0},E) $

$ Z\ $ Menge der Zustände

$ \Sigma \ $ Menge des Eingabealphabets

$ \delta \ :Z\times \Sigma \rightarrow Z $

$ Q_{0}\in Z\ $ Startzustand

$ E\ $ Menge der Endzustände

$ L(M)=\{x_{1}...x_{n}\in {\Sigma ^{*}}\vert \exists q_{1}...q_{n-1}\in Z,q_{n}\in E\ :\delta (q_{i},x_{i+1})=q_{i+1} $ für$ \ i=0,...,n-1\} $