Se dice que dos autómatas finitos son equivalentes, si ambos reconocen el mismo lenguaje regular.