Los autómatas finitos se pueden representar mediante grafos particulares, también llamados "diagramas de estados finitos", de la siguiente manera: