Investigacao e Aplicacao de algumas Operacoes Categoriais

Este livro apresenta uma dissertação de mestrado que trata da investigação sobre algumas operações categoriais baseadas em grafos e a aplicação das mesmas em animações computacionais baseadas em autômatos finitos com saída. As operações categoriais são: Produto, Coproduto, Soma Amalgamada e Produto Fibrado. O modelo AGA (Animação Computacional baseada em autômatos finitos) foi o escolhido para ser utilizado como base desta dissertaçãoque traz uma nova versão do AGA, denominado AGANd (Animação Computacional baseada em autômatos finitos não determinísticos). Inspirado nestes estudos, o trabalho contém uma proposta de como aplicar tais operações com o objetivo de definir animações aparentemente complexas, de forma simples, precisa e de fácil implementação. O enfoque deste estudo é baseado em J. Stoy [STO 77] que diz que um dos objetivos para o uso da semântica formal de teoria das categorias é ¿sugerir meios ou formas para o projetista desenvolver sistemas melhores, mais elegantes (¿limpos¿) e com descrições formais mais simples¿. Entretanto, não é objetivo desta dissertação verificar se a utilização destas operações é ou não melhor do que a utilização de qualquer out