Desde este punto de vista, el autómata genera un lenguaje formal, que no es más que un conjunto de cadenas.