Volver a los detalles del artículo
Aplicación de transductores de estado-finito a los procesos de unificación de términos