palavras-chave algoritmo de aproximação biologia computacional formalismo algébrico problema da ordenação por transposiçoes