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: