Grafos de Contextos de Sistemas Dinâmicos Simbólicos de Memória Infinita

A teoria de sistemas dinâmicos simbólicos, que explora as propriedades de sequências com restrições, é aplicada em problemas nas áreas de comunicação digital e gravação. Estes sistemas são especificados por um conjunto mínimo de sequências proibidas O, ou alternativamente, por um grafo rotulado, denominado de grafo de contextos. Este artigo trata de um algoritmo para a construção deste grafo quando o conjunto O é infinito. No melhor conhecimento dos autores, não existe um procedimento sistemático na literatura para esta construção.