Navegação por Assunto "Automato não-sequencial"
Resultados 1-2 de 2
-
Composicionalidade de primitivas : uma abordagem categorial
(2002) [Artigo de periódico]Autômatos não-seqüenciais são apresentados como modelo semântico para a interpretação formal do conceito de primitiva em sistemas operacionais sob a ótica da Teoria das Categorias, Este modelo constitui originalmente um ... -
Mapeamento da linguagem Nautilus para Java
(2004) [Dissertação]Este trabalho apresenta um mapeamento centrado nas construções não usuais da linguagem Nautilus, para a linguagem convencional, no caso Java, mantendo propriedades com atomicidade que são requisitos da semântica formal da ...