Hopcroft, J., Motwani, R. y Ullman, J. 2007. Introducción a la teoría de autómatas, lenguajes y computación. Perason Educación: Madrid.

Un autómata finito determinista se compone de:

1. Un conjunto finito de estados, Q
2. Un conjunto finito de símbolos de entrada (alfabeto), Σ
3. Una función de transición δ que toma como argumentos un estado y un símbolo de entrada y devuelve un estado (en la representación gráfica se representa mediante los arcos entre los estados y las etiquetas sobre los arcos):
   δ(q_i−1​,a_i​) = q_i​
4. Un estado inicial q₀
5. Un conjunto de estados finales o de aceptación, F; F⊂Q

A = ( Q, \Sigma, \delta, q_0, F )