Strumento Web della Tavola De Bruijn

Questo strumento genera una sequenza De Bruijn per un alfabeto e un ordine n forniti dall'utente. Garantisce che ogni parola di lunghezza n sull'alfabeto appaia esattamente una volta in una sequenza ciclica. Concettualmente si basa su una costruzione basata su Lyndon-word per assicurare una sequenza compatta e deterministica. L'output può essere visualizzato come una singola stringa e ruotato; rappresentazioni aggiuntive come l'elenco completo delle sottostringhe di lunghezza n sono disponibili per la verifica. Il pubblico di riferimento include studenti che imparano la combinatoria, ricercatori che convalideranno le proprietà della sequenza e sviluppatori che progettano test basati su sequenze. Lo strumento si distingue per supportare alfabeti arbitrari (non solo binari), garanzie matematiche esatte e l'esposizione sia della sequenza primaria sia di artefatti di verifica opzionali. Il valore principale risiede nella correttezza, velocità per k e n moderati e in un'interfaccia che supporta sia dimostrazioni didattiche sia test pratici. Casi d'uso includono la convalida della copertura della sequenza in esercizi di teoria dei codici, la costruzione di flussi di test per simulazioni di automi e l'esplorazione di concetti di progettazione delle sequenze in compiti di corso.