Existen tres tipos de autómatas finitos