Elementos que conforman un Automata Finitos

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

• Los estados se representan como vértices, etiquetados con su nombre en el interior.
• Una transición desde un estado a otro, dependiente de un símbolo del alfabeto, se representa mediante una arista dirigida que une a estos vértices, y que está etiquetada con dicho símbolo.
• El estado inicial se caracteriza por tener una arista que llega a él, proveniente de ningún otro vértice.
• El o los estados finales se representan mediante vértices que están encerrados a su vez por otra circunferencia.