---

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

---

Mestre em Ciência da Computa‡Æo pela Univerisidade Federal do Rio Grande do Sul (UFRGS), pós-graduada em Redes e Telecomunica‡äes pela Universidade do Sul de Santa Catarina (UNISUL), graduada em Ciência da Computa‡Æo pela UNISUL. Trabalhou como Professora Universitária por 19 anos na Universidade do Extremo Sul Catarinense (UNESC).

---