Describir: Algoritmos sobre gráficas para compactación de autómatas finitos