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