O conceito de parcialidade e importante em diversas áreas como a Matemática e a Ciência da Computação; ele pode ser utilizado, por exemplo, para expressar computações que não terminam e para definir funções recursivas parciais. Com rela cão a grafos, categorias de homomorfismos parciais são comuns (por exemplo, em gramáticas de grafos com a técnica de single-pushout). Este trabalho propõe uma abordagem diferente: a parcialidade é usada na estrutura interna dos objetos (não nos morfismos).Istoéfeito utilizando uma extensão do conceito de Categoria das Setas, chamada de Categoria das Setas Parciais. E definida entãoa categoria Grp de grafos parciais(tais que arcos podem possuir ou não vértices de origem e/ou destino) e homomorfismos totais.A generalização deste modelo resulta em categorias de grafos parciais internos.Émostrado que Grp é bicompleta e, se C é um topos, a categoria dos grafos parciais internos a C é cocompleta. Grafos parciais podem ser utilizados para definir modelos computacionais tais como autômatos. Uma categoria de Autômatos Parciais, denominada Autp, é construída a partir da categoria de Grafos Parciais. Usando uma extensão de composição de spans de grafos para autômatos, chamada de Composição de Transições, e possível definir as computações de autômatos. Brevemente, uma composição de transi cões de dois autômatos parciais resulta em um autômato parcial onde cada transição representa um caminho de tamanho dois (entre vértices), tal que a primeira metade é uma transição do primeiro autômato e a segunda metade é uma transição do segundo. É possível compor um autômato consigo mesmo diversas vezes; no caso de n sucessivas composições de transições, pode-se obter as palavras da linguagem aceita pelo autômato que necessitam de n+1 passos de computação nos arcos que não possuem origem e nem destino definidos do autômato parcial resultante.

O conceito de parcialidade e importante em diversas áreas como a Matemática e a Ciência da Computação; ele pode ser utilizado, por exemplo, para expressar computações que não terminam e para definir funções recursivas parciais. Com rela cão a grafos, categorias de homomorfismos parciais são comuns (por exemplo, em gramáticas de grafos com a técnica de single-pushout). Este trabalho propõe uma abordagem diferente: a parcialidade é usada na estrutura interna dos objetos (não nos morfismos).Istoéfeito utilizando uma extensão do conceito de Categoria das Setas, chamada de Categoria das Setas Parciais. E definida entãoa categoria Grp de grafos parciais(tais que arcos podem possuir ou não vértices de origem e/ou destino) e homomorfismos totais.A generalização deste modelo resulta em categorias de grafos parciais internos.Émostrado que Grp é bicompleta e, se C é um topos, a categoria dos grafos parciais internos a C é cocompleta. Grafos parciais podem ser utilizados para definir modelos computacionais tais como autômatos. Uma categoria de Autômatos Parciais, denominada Autp, é construída a partir da categoria de Grafos Parciais. Usando uma extensão de composição de spans de grafos para autômatos, chamada de Composição de Transições, e possível definir as computações de autômatos. Brevemente, uma composição de transi cões de dois autômatos parciais resulta em um autômato parcial onde cada transição representa um caminho de tamanho dois (entre vértices), tal que a primeira metade é uma transição do primeiro autômato e a segunda metade é uma transição do segundo. É possível compor um autômato consigo mesmo diversas vezes; no caso de n sucessivas composições de transições, pode-se obter as palavras da linguagem aceita pelo autômato que necessitam de n+1 passos de computação nos arcos que não possuem origem e nem destino definidos do autômato parcial resultante.

O conceito de parcialidade e importante em diversas áreas como a Matemática e a Ciência da Computação; ele pode ser utilizado, por exemplo, para expressar computações que não terminam e para definir funções recursivas parciais. Com rela cão a grafos, categorias de homomorfismos parciais são comuns (por exemplo, em gramáticas de grafos com a técnica de single-pushout). Este trabalho propõe uma abordagem diferente: a parcialidade é usada na estrutura interna dos objetos (não nos morfismos).Istoéfeito utilizando uma extensão do conceito de Categoria das Setas, chamada de Categoria das Setas Parciais. E definida entãoa categoria Grp de grafos parciais(tais que arcos podem possuir ou não vértices de origem e/ou destino) e homomorfismos totais.A generalização deste modelo resulta em categorias de grafos parciais internos.Émostrado que Grp é bicompleta e, se C é um topos, a categoria dos grafos parciais internos a C é cocompleta. Grafos parciais podem ser utilizados para definir modelos computacionais tais como autômatos. Uma categoria de Autômatos Parciais, denominada Autp, é construída a partir da categoria de Grafos Parciais. Usando uma extensão de composição de spans de grafos para autômatos, chamada de Composição de Transições, e possível definir as computações de autômatos. Brevemente, uma composição de transi cões de dois autômatos parciais resulta em um autômato parcial onde cada transição representa um caminho de tamanho dois (entre vértices), tal que a primeira metade é uma transição do primeiro autômato e a segunda metade é uma transição do segundo. É possível compor um autômato consigo mesmo diversas vezes; no caso de n sucessivas composições de transições, pode-se obter as palavras da linguagem aceita pelo autômato que necessitam de n+1 passos de computação nos arcos que não possuem origem e nem destino definidos do autômato parcial resultante.

Este trabalho aplica a Teoria de Autômatos na proposição de uma nova alternativa para prover animações 2D na World Wide Web, verificando as contribuições alcançadas para as questões relacionadas ao espaço de armazenamento, reutilização e manutenção do conteúdo e suporte à recuperação de informação. Para este objetivo, é proposto o modelo AGA (Animação Gráfica baseada em Autômatos Finitos), o qual especifica a animação a partir de uma estrutura baseada em autômatos finitos com saída. Esse modelo é definido de tal forma que os mesmos autômatos utilizados na especificação, ao serem simulados, realizam o controle da animação durante a apresentação. O modelo AGA apresenta características que favorecem a redução do espaço de armazenamento da animação, provêem suporte à recuperação de informação, colaboram com a reutilização e manutenção do conteúdo das animações. Uma implementação multiplataforma foi desenvolvida para apresentar animações especificadas nesse modelo na Web. Essa implementação proporciona a elaboração de consultas ao conteúdo da animação, além dos recursos tradicionais de reprodução. A partir dessa implementação, o AGA foi submetido a um estudo de caso prático, onde os resultados obtidos são comparados com o produzidos pelo GIF (Graphic Interchange Format). Esse comparativo demonstra que o AGA possui várias vantagens em relação à estrutura adotada pelo GIF. O modelo AGA é estendido utilizando autômatos temporizados para prover restrições temporais às especificações e também ampliar as funcionalidades de interação com o observador da animação. Essa extensão, chamada de modelo AGA-S (Animação Gráfica baseada em Autômatos Temporizados Sincronizados), é definida a partir do autômato temporizado proposto por Alur e Dill. Para esse modelo, é definida uma operação formal para sincronização dos componentes da animação e adicionada uma estrutura baseada em autômatos finitos para controlar a interação do observador com a animação.

Este trabalho aplica a Teoria de Autômatos na proposição de uma nova alternativa para prover animações 2D na World Wide Web, verificando as contribuições alcançadas para as questões relacionadas ao espaço de armazenamento, reutilização e manutenção do conteúdo e suporte à recuperação de informação. Para este objetivo, é proposto o modelo AGA (Animação Gráfica baseada em Autômatos Finitos), o qual especifica a animação a partir de uma estrutura baseada em autômatos finitos com saída. Esse modelo é definido de tal forma que os mesmos autômatos utilizados na especificação, ao serem simulados, realizam o controle da animação durante a apresentação. O modelo AGA apresenta características que favorecem a redução do espaço de armazenamento da animação, provêem suporte à recuperação de informação, colaboram com a reutilização e manutenção do conteúdo das animações. Uma implementação multiplataforma foi desenvolvida para apresentar animações especificadas nesse modelo na Web. Essa implementação proporciona a elaboração de consultas ao conteúdo da animação, além dos recursos tradicionais de reprodução. A partir dessa implementação, o AGA foi submetido a um estudo de caso prático, onde os resultados obtidos são comparados com o produzidos pelo GIF (Graphic Interchange Format). Esse comparativo demonstra que o AGA possui várias vantagens em relação à estrutura adotada pelo GIF. O modelo AGA é estendido utilizando autômatos temporizados para prover restrições temporais às especificações e também ampliar as funcionalidades de interação com o observador da animação. Essa extensão, chamada de modelo AGA-S (Animação Gráfica baseada em Autômatos Temporizados Sincronizados), é definida a partir do autômato temporizado proposto por Alur e Dill. Para esse modelo, é definida uma operação formal para sincronização dos componentes da animação e adicionada uma estrutura baseada em autômatos finitos para controlar a interação do observador com a animação.

Este trabalho aplica a Teoria de Autômatos na proposição de uma nova alternativa para prover animações 2D na World Wide Web, verificando as contribuições alcançadas para as questões relacionadas ao espaço de armazenamento, reutilização e manutenção do conteúdo e suporte à recuperação de informação. Para este objetivo, é proposto o modelo AGA (Animação Gráfica baseada em Autômatos Finitos), o qual especifica a animação a partir de uma estrutura baseada em autômatos finitos com saída. Esse modelo é definido de tal forma que os mesmos autômatos utilizados na especificação, ao serem simulados, realizam o controle da animação durante a apresentação. O modelo AGA apresenta características que favorecem a redução do espaço de armazenamento da animação, provêem suporte à recuperação de informação, colaboram com a reutilização e manutenção do conteúdo das animações. Uma implementação multiplataforma foi desenvolvida para apresentar animações especificadas nesse modelo na Web. Essa implementação proporciona a elaboração de consultas ao conteúdo da animação, além dos recursos tradicionais de reprodução. A partir dessa implementação, o AGA foi submetido a um estudo de caso prático, onde os resultados obtidos são comparados com o produzidos pelo GIF (Graphic Interchange Format). Esse comparativo demonstra que o AGA possui várias vantagens em relação à estrutura adotada pelo GIF. O modelo AGA é estendido utilizando autômatos temporizados para prover restrições temporais às especificações e também ampliar as funcionalidades de interação com o observador da animação. Essa extensão, chamada de modelo AGA-S (Animação Gráfica baseada em Autômatos Temporizados Sincronizados), é definida a partir do autômato temporizado proposto por Alur e Dill. Para esse modelo, é definida uma operação formal para sincronização dos componentes da animação e adicionada uma estrutura baseada em autômatos finitos para controlar a interação do observador com a animação.

A expansão da Internet e o crescente desenvolvimento de tecnologias para a Web fazem com que um grande número de pessoas com necessidades distintas procurem nelas as informações de que necessitam, utilizando a Internet como um meio de ensino e aprendizagem. Motivado por isso, procura-se atender a comunidade surda com a obtenção de um Animador de Gestos aplicado à Língua de Sinais, o AGA-Sign, disponível em ambiente Web, com o objetivo de auxiliar na prática da escrita de sinais e na familiarização com a língua. Este trabalho apresenta uma aplicação para geração automatizada de animações de gestos aplicado à Língua de Sinais a partir de textos escritos em SignWriting - sistema de escrita para Língua de Sinais que dispõe de expressões gráficas para descrever os movimentos das mãos, dos braços, além de expressões faciais, fazendo com que o sistema possa representar qualquer língua de sinais. Os sinais usados para o desenvolvimento da aplicação foram elaborados a partir da LIBRAS por ser a língua oficial dos surdos brasileiros e as animações foram geradas através do modelo AGA (animação gráfica baseada na Teoria dos Autômatos). / The Internet expansion and the increasing development of Web technologies make a great audience with distinct necessities search the information they need, using the Internet as a mean for teaching and learning. In this context, this work tries to support the deaf community by developing a Gesture Animator applied to the Sign Language, the AGA-Sign, available in the Web environment, which goal is assisting the writing practice of signs and the familiarization with the language. This work presents an application for automatic generation of gestures animations applied to the Sign Language from texts written in SignWriting - a Sign Language writing system that uses graphical expressions to describe hands and arms movements, beyond face expressions, which makes the system capable of representing any sign language. The signs used for the development of the application were elaborated based in LIBRAS, that is the official brazilian deaf language and the animations were generated through AGA model (graphical animation based in the Automata Theory).

A expansão da Internet e o crescente desenvolvimento de tecnologias para a Web fazem com que um grande número de pessoas com necessidades distintas procurem nelas as informações de que necessitam, utilizando a Internet como um meio de ensino e aprendizagem. Motivado por isso, procura-se atender a comunidade surda com a obtenção de um Animador de Gestos aplicado à Língua de Sinais, o AGA-Sign, disponível em ambiente Web, com o objetivo de auxiliar na prática da escrita de sinais e na familiarização com a língua. Este trabalho apresenta uma aplicação para geração automatizada de animações de gestos aplicado à Língua de Sinais a partir de textos escritos em SignWriting - sistema de escrita para Língua de Sinais que dispõe de expressões gráficas para descrever os movimentos das mãos, dos braços, além de expressões faciais, fazendo com que o sistema possa representar qualquer língua de sinais. Os sinais usados para o desenvolvimento da aplicação foram elaborados a partir da LIBRAS por ser a língua oficial dos surdos brasileiros e as animações foram geradas através do modelo AGA (animação gráfica baseada na Teoria dos Autômatos). / The Internet expansion and the increasing development of Web technologies make a great audience with distinct necessities search the information they need, using the Internet as a mean for teaching and learning. In this context, this work tries to support the deaf community by developing a Gesture Animator applied to the Sign Language, the AGA-Sign, available in the Web environment, which goal is assisting the writing practice of signs and the familiarization with the language. This work presents an application for automatic generation of gestures animations applied to the Sign Language from texts written in SignWriting - a Sign Language writing system that uses graphical expressions to describe hands and arms movements, beyond face expressions, which makes the system capable of representing any sign language. The signs used for the development of the application were elaborated based in LIBRAS, that is the official brazilian deaf language and the animations were generated through AGA model (graphical animation based in the Automata Theory).

A expansão da Internet e o crescente desenvolvimento de tecnologias para a Web fazem com que um grande número de pessoas com necessidades distintas procurem nelas as informações de que necessitam, utilizando a Internet como um meio de ensino e aprendizagem. Motivado por isso, procura-se atender a comunidade surda com a obtenção de um Animador de Gestos aplicado à Língua de Sinais, o AGA-Sign, disponível em ambiente Web, com o objetivo de auxiliar na prática da escrita de sinais e na familiarização com a língua. Este trabalho apresenta uma aplicação para geração automatizada de animações de gestos aplicado à Língua de Sinais a partir de textos escritos em SignWriting - sistema de escrita para Língua de Sinais que dispõe de expressões gráficas para descrever os movimentos das mãos, dos braços, além de expressões faciais, fazendo com que o sistema possa representar qualquer língua de sinais. Os sinais usados para o desenvolvimento da aplicação foram elaborados a partir da LIBRAS por ser a língua oficial dos surdos brasileiros e as animações foram geradas através do modelo AGA (animação gráfica baseada na Teoria dos Autômatos). / The Internet expansion and the increasing development of Web technologies make a great audience with distinct necessities search the information they need, using the Internet as a mean for teaching and learning. In this context, this work tries to support the deaf community by developing a Gesture Animator applied to the Sign Language, the AGA-Sign, available in the Web environment, which goal is assisting the writing practice of signs and the familiarization with the language. This work presents an application for automatic generation of gestures animations applied to the Sign Language from texts written in SignWriting - a Sign Language writing system that uses graphical expressions to describe hands and arms movements, beyond face expressions, which makes the system capable of representing any sign language. The signs used for the development of the application were elaborated based in LIBRAS, that is the official brazilian deaf language and the animations were generated through AGA model (graphical animation based in the Automata Theory).