No se encontró "finite-state automaton". Parece que esa forma no existe