Si el estado final en el que se detuvo es un estado "de aceptación", entonces la cadena pertenece al lenguaje reconocido por el autómata; en caso contrario, la cadena no pertenece a dicho lenguaje.