Voltar aos Detalhes do Artigo
Aplicación de transductores de estado-finito a los procesos de unificación de términos