
Investigação e Aplicação de algumas Operações Categoriais
Entre Atores de uma Animação baseados em Autômatos Finitos com Saída
Versandkostenfrei!
Versandfertig in 6-10 Tagen
36,99 €
inkl. MwSt.
PAYBACK Punkte
18 °P sammeln!
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 n...
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