Aceasta este definitia matematica si foarte abstractizata a automatelor. Pentru a le intelege mai usor, sa luam un exemplu concret

Q = {q0, q1, q2, q3}
A = {q3}
S = {a, b}
d =
 
 
 

!http://www.infoarena.ro/Automate_finite_si_KMP?action=download&file=dfa.jpg!
* $Q = {q{~0~}, q{~1~}, q{~2~}, q{~3~}}$
* $A = {q{~3~}}$
* $Σ = {a, b}$
* δ =
 

| | a | b |

| 0 | 1 | 2 |

| 1 | 3 | 1 |

| 2 | 3 | 0 |

| 3 | 3 | 3 |