ANAC : uma ferramenta para a automatização da análise da complexidade de algoritmos
dc.contributor.advisor | Toscani, Laira Vieira | pt_BR |
dc.contributor.author | Barbosa, Marco Antonio de Castro | pt_BR |
dc.date.accessioned | 2007-06-06T17:24:15Z | pt_BR |
dc.date.issued | 2001 | pt_BR |
dc.identifier.uri | http://hdl.handle.net/10183/2827 | pt_BR |
dc.description.abstract | A análise de um algoritmo tem por finalidade melhorar, quando possível, seu desempenho e dar condições de poder optar pelo melhor, dentre os algoritmos existentes, para resolver o mesmo problema. O cálculo da complexidade de algoritmos é muito dependente da classe dos algoritmos analisados. O cálculo depende da função tamanho e das operações fundamentais. Alguns aspectos do cálculo da complexidade, entretanto, não dependem do tipo de problema que o algoritmo resolve, mas somente das estruturas que o compõem, podendo, desta maneira, ser generalizados. Com base neste princípio, surgiu um método para o cálculo da complexidade de algoritmos no pior caso. Neste método foi definido que cada estrutura algorítmica possui uma equação de complexidade associada. Esse método propiciou a análise automática da complexidade de algoritmos. A análise automática de algoritmos tem como principal objetivo tornar o processo de cálculo da complexidade mais acessível. A união da metodologia para o pior caso, associada com a idéia da análise automática de programas, serviu de motivação para o desenvolvimento do protótipo de sistema ANAC, que é uma ferramenta para análise automática da complexidade de algoritmos não recursivos. O objetivo deste trabalho é implementar esta metodologia de cálculo de complexidade de algoritmos no pior caso, com a utilização de técnicas de construção de compiladores para que este sistema possa analisar algoritmos gerando como resultado final a complexidade do algoritmo dada em ordens assintóticas. | pt_BR |
dc.format.mimetype | application/pdf | |
dc.language.iso | por | pt_BR |
dc.rights | Open Access | en |
dc.subject | Teoria : Ciência : Computação | pt_BR |
dc.subject | Complexidade : Algoritmos | pt_BR |
dc.title | ANAC : uma ferramenta para a automatização da análise da complexidade de algoritmos | pt_BR |
dc.type | Dissertação | pt_BR |
dc.contributor.advisor-co | Ribeiro, Leila | pt_BR |
dc.identifier.nrb | 000326600 | pt_BR |
dc.degree.grantor | Universidade Federal do Rio Grande do Sul | pt_BR |
dc.degree.department | Instituto de Informática | pt_BR |
dc.degree.program | Programa de Pós-Graduação em Computação | pt_BR |
dc.degree.local | Porto Alegre, BR-RS | pt_BR |
dc.degree.date | 2001 | pt_BR |
dc.degree.level | mestrado | pt_BR |
Files in this item
This item is licensed under a Creative Commons License
![](/themes/Mirage2Novo//images/lume/cc.png)
-
Exact and Earth Sciences (5097)Computation (1754)