Grafos de contextos de sistemas simbólicos de memória finita

Abstract

O presente trabalho apresenta um breve estudo de sequências com restrições que têm sido usadas em muitos sistemas de armazenamento e codificação de dados. Essas sequências são descritas no trabalho por um grafo determinístico. O grafo com o menor número de vértices é obtido, em geral, por um procedimento de dois passos: o primeiro passo é gerar um grafo inicial e, o segundo, é aplicar um algoritmo de minimização de vértices para identificar classes de vértices equivalentes. Aplicando outro conceito do conjunto de restrições, este trabalho apresenta outro algoritmo de divisão para determinar os vértices da apresentação mínima sem determinar um grafo inicial. Assim, a função de transição que conecta os vértices é calculada sobre um conjunto menor, reduzindo os esforços computacionais para a construção deste grafo.