Investigacao e Aplicacao de algumas Operacoes Categoriais

Este livro apresenta uma dissertao de mestrado que trata da investigao sobre algumas operaes categoriais baseadas em grafos e a aplicao das mesmas em animaes computacionais baseadas em autmatos finitos com sada. As operaes categoriais so: Produto, Coproduto, Soma Amalgamada e Produto Fibrado. O modelo AGA (Animao Computacional baseada em autmatos finitos) foi o escolhido para ser utilizado como base desta dissertaoque traz uma nova verso do AGA, denominado AGANd (Animao Computacional baseada em autmatos finitos no determinsticos). Inspirado nestes estudos, o trabalho contm uma proposta de como aplicar tais operaes com o objetivo de definir animaes aparentemente complexas, de forma simples, precisa e de fcil implementao. O enfoque deste estudo baseado em J. Stoy [STO 77] que diz que um dos objetivos para o uso da semntica formal de teoria das categorias "sugerir meios ou formas para o projetista desenvolver sistemas melhores, mais elegantes ("limpos") e com descries formais mais simples". Entretanto, no objetivo desta dissertao verificar se a utilizao destas operaes ou no melhor do que a utilizao de qualquer out