Grafos Mínimos de Sistemas Dinâmicos Simbólicos

Sequências que obedecem a determinadas restrições são usualmente empregadas em sistemas de gravação e transmissão de dados. Estas sequências são usualmente descritas por um grafo rotulado direcionado. A determinação do grafo com número mínimo de vértices envolve duas etapas, a determinação de um grafo inicial e a aplicação de um algoritmo de colapso de vértices. Este trabalho propõe um novo algoritmo por divisão de vértices para identificar os vértices do grafo mínimo sem precisar determinar um grafo inicial.