Ferramenta Web da Tabela De Bruijn

Esta ferramenta gera uma sequência De Bruijn para um alfabeto e uma ordem n fornecidos pelo usuário. Garante que cada palavra de comprimento n sobre o alfabeto apareça exatamente uma vez em uma sequência cíclica. Conceitualmente, baseia-se numa construção Lyndon-word para assegurar uma sequência compacta e determinística. A saída pode ser visualizada como uma única string e pode ser rotacionada; representações adicionais, como a lista completa de substrings de comprimento n, estão disponíveis para verificação. O público-alvo inclui estudantes que aprendem combinatória, pesquisadores que validam propriedades da sequência e desenvolvedores que prototipam testes baseados em sequências. A ferramenta distingue-se por oferecer suporte a alfabetos arbitrários (não apenas binários), garantias matemáticas exatas e expor tanto a sequência principal quanto artefatos de verificação opcionais. O valor principal reside na exatidão, velocidade para k e n moderados, e uma interface que suporta demonstrações didáticas e testes práticos. Casos de uso: validação da cobertura de sequências em exercícios de teoria dos códigos, construção de fluxos de teste para simulações de autômatos e exploração de conceitos de design de sequências em trabalhos de curso.