Sto lavorando a una serie di problemi per una lezione e ho pensato a una domanda relativa a ciò su cui stavo lavorando. Esiste un numero minimo di stati che un automa finito deve avere per accettare stringhe binarie che rappresentano numeri divisibili per un numero intero n? In una precedente serie di problemi, sono stato in grado di costruire un DFA che accettasse stringhe binarie divisibili per 3 con 3 stati. È una coincidenza o c'è qualcosa di inerente al problema generale di rilevare stringhe divisibili per n che suggerisce un numero minimo di stati?
Prometto che questo non risponderà a una domanda di compiti per me! :)
3
Benvenuti in cstheory, un sito di domande e risposte per domande a livello di ricerca in informatica teorica (TCS). La tua domanda non sembra essere una domanda a livello di ricerca in TCS. Per ulteriori informazioni su ciò che si intende con questo e suggerimenti per i siti che potrebbero accogliere la tua domanda, consulta le FAQ . Infine, se la tua domanda viene chiusa perché non rientra nell'ambito di applicazione e ritieni di poter modificare la domanda per renderla una domanda a livello di ricerca, non esitare a farlo. La chiusura non è permanente e le domande possono essere riaperte, consultare le FAQ per ulteriori informazioni.
—
Kaveh,
@Kaveh: Penso che la domanda sia ok, soprattutto data la risposta concisa di David.
—
Huck Bennett,
@HuckBennett Concordo con Kaveh sul fatto che questa domanda dovrebbe essere chiusa su cstheory, principalmente per essere coerente. Tuttavia, sono anche d'accordo con te: questa è una domanda divertente e quando vedi per la prima volta i DFA è sicuramente una domanda che dovresti porti. Penso che l'OP dovrebbe provare a divertirsi un po 'per elaborare la risposta da solo, quindi consultare math.SE per ulteriori informazioni.
—
Artem Kaznatcheev
Non si tratta di compiti a casa (anche se è ispirato a una domanda a casa), è una domanda interessante, non credo sia un risultato ben noto e la risposta alla domanda è apparsa in un diario di ricerca. Non vedo perché dovrebbe essere chiuso. Il limite superiore era compiti a casa, ed è davvero facile, ma la domanda riguardava il limite inferiore.
—
Peter Shor,
@ Janoma: Davvero. La fine della domanda suggerisce che l'OP confonde i limiti superiori con i limiti inferiori.
—
Michael Blondin,