Um dispositivo adaptativo e constituído por um dispositivo subjacente (geralmente não adaptativo), por exemplo, um autômato, uma gramática, etc., no qual se adiciona um mecanismo adaptativo que e responsável pela automodificação autônoma que caracteriza os dispositivos adaptativos. As linguagens adaptativas são instancias de dispositivos adaptativos, cujo formalismo subjacente e uma linguagem de programação. A tese tem como objetivo conceituar linguagens adaptativas de programação, descrever seus pontos essenciais e considerar os aspectos e particularidades que afetem seu desenvolvimento. A concepção de linguagens adaptativas motiva um novo estilo de programação, uma vez que a aplicação da tecnologia adaptativa sugere uma nova forma de pensar. O estilo adaptativo de programação poderá tornar-se uma alternativa viável para se obter códigos aderentes às aplicações de códigos automodificáveis. / Adaptive devices comprehend a subjacent (usually non-adaptive) device, e.g. an automaton, a grammar, etc., to which an adaptive mechanism is added which performs the self-modification operations usual in adaptive devices. Adaptive languages are special adaptive devices whose subjacent formalism is a programming language. This work defines adaptive programming languages, describes their main concepts and discusses their particular development issues. Adaptive programming languages suggest a new programming style, since applying adaptive technology induces a somewhat new way to think about programs. Such adaptive style may become an alternate way to obtain adequate code in self-modifying applications.

Um dispositivo adaptativo e constituído por um dispositivo subjacente (geralmente não adaptativo), por exemplo, um autômato, uma gramática, etc., no qual se adiciona um mecanismo adaptativo que e responsável pela automodificação autônoma que caracteriza os dispositivos adaptativos. As linguagens adaptativas são instancias de dispositivos adaptativos, cujo formalismo subjacente e uma linguagem de programação. A tese tem como objetivo conceituar linguagens adaptativas de programação, descrever seus pontos essenciais e considerar os aspectos e particularidades que afetem seu desenvolvimento. A concepção de linguagens adaptativas motiva um novo estilo de programação, uma vez que a aplicação da tecnologia adaptativa sugere uma nova forma de pensar. O estilo adaptativo de programação poderá tornar-se uma alternativa viável para se obter códigos aderentes às aplicações de códigos automodificáveis. / Adaptive devices comprehend a subjacent (usually non-adaptive) device, e.g. an automaton, a grammar, etc., to which an adaptive mechanism is added which performs the self-modification operations usual in adaptive devices. Adaptive languages are special adaptive devices whose subjacent formalism is a programming language. This work defines adaptive programming languages, describes their main concepts and discusses their particular development issues. Adaptive programming languages suggest a new programming style, since applying adaptive technology induces a somewhat new way to think about programs. Such adaptive style may become an alternate way to obtain adequate code in self-modifying applications.

Esta pesquisa lidou com a unificação de grafos aplicada ao problema das redes haplotípicas. A partir da baixa confiabilidade encontrada nas redes geradas pelos algoritmos tradicionais, foi necessário introduzir uma nova proposição para melhorar o resultado obtido. Para esta avaliar o resultado obtido pelo novo algoritmo, desenvolveu-se um arcabouço teórico-formal possibilitando a generalização de soluções relativas a redes haplotípicas através de aplicação de funções parametrizáveis, facilmente representadas através de linguagens funcionais no estilo LISP. Para aplicação em problemas reais, desenvolveu-se estrutura de simulação e testes que constrói cadeias genéticas de maneira aleatória ou ainda parametrizável. Os testes gerados permitiram observar a melhoria esperada no algoritmo, especialmente para os casos de baixa mutação. O arcabouço de simulação e testes mostrou-se extremamente propício e de fácil utilização, o que o torna, em si mesmo, uma ferramenta a ser disponibilizada para a comunidade acadêmica da área de Biologia. / This research dealt with the unification of graphs applied to the problem of haplotype networks. From the low reliability found in networks generated by the traditional algorithms, it was necessary to introduce a new proposition to improve the outcome. For proper evaluation of the results obtained by the new algorithm, a formal-theoretical framework for generalization of haplotype networks related solutions, making use of parameterized functions easily represented through LISP-like functional languages. Seeking for real case application of the theory developed, a structure of simulation and testing were developed to build genetic code strings randomly or even parameterized. The generated tests have allowed to observe the expected improvement in the algorithm, especially for cases of low mutation. The framework for simulation and testing was extremely useful and easy to use, making itself a product to be distributed to the academic Biology community.

Esta pesquisa lidou com a unificação de grafos aplicada ao problema das redes haplotípicas. A partir da baixa confiabilidade encontrada nas redes geradas pelos algoritmos tradicionais, foi necessário introduzir uma nova proposição para melhorar o resultado obtido. Para esta avaliar o resultado obtido pelo novo algoritmo, desenvolveu-se um arcabouço teórico-formal possibilitando a generalização de soluções relativas a redes haplotípicas através de aplicação de funções parametrizáveis, facilmente representadas através de linguagens funcionais no estilo LISP. Para aplicação em problemas reais, desenvolveu-se estrutura de simulação e testes que constrói cadeias genéticas de maneira aleatória ou ainda parametrizável. Os testes gerados permitiram observar a melhoria esperada no algoritmo, especialmente para os casos de baixa mutação. O arcabouço de simulação e testes mostrou-se extremamente propício e de fácil utilização, o que o torna, em si mesmo, uma ferramenta a ser disponibilizada para a comunidade acadêmica da área de Biologia. / This research dealt with the unification of graphs applied to the problem of haplotype networks. From the low reliability found in networks generated by the traditional algorithms, it was necessary to introduce a new proposition to improve the outcome. For proper evaluation of the results obtained by the new algorithm, a formal-theoretical framework for generalization of haplotype networks related solutions, making use of parameterized functions easily represented through LISP-like functional languages. Seeking for real case application of the theory developed, a structure of simulation and testing were developed to build genetic code strings randomly or even parameterized. The generated tests have allowed to observe the expected improvement in the algorithm, especially for cases of low mutation. The framework for simulation and testing was extremely useful and easy to use, making itself a product to be distributed to the academic Biology community.