Endliche Automaten, die binäre Zeichenfolgen akzeptieren, die durch n teilbar sind

18

Ich arbeite an einer Aufgabenstellung für eine Klasse und überlege mir, woran ich gerade arbeite. Gibt es eine Mindestanzahl von Zuständen, die ein endlicher Automat haben muss, um binäre Zeichenfolgen zu akzeptieren, die Zahlen darstellen, die durch eine ganze Zahl n teilbar sind? In einem früheren Problemsatz konnte ich einen DFA erstellen, der binäre Zeichenfolgen akzeptiert, die durch 3 mit 3 Zuständen teilbar sind. Ist dies ein Zufall, oder liegt dem allgemeinen Problem der Erkennung von durch n teilbaren Zeichenfolgen etwas zugrunde, das auf eine Mindestanzahl von Zuständen hindeutet?

Ich verspreche, dass dies keine Hausaufgabenfrage für mich beantworten wird! :)

Nick Van Hoogenstyn
quelle
3
Willkommen bei cstheory, einer Q & A-Site für Fragen auf Forschungsebene in der theoretischen Informatik (TCS). Ihre Frage scheint keine Frage auf Forschungsebene in TCS zu sein. Bitte beachten Sie die FAQ für mehr Informationen darüber , was durch diese und Vorschläge für Websites , gemeint ist , dass Ihre Frage begrüßen könnte. Wenn Ihre Frage geschlossen ist und Sie der Meinung sind, dass Sie sie bearbeiten können, um sie zu einer Frage auf Forschungsebene zu machen, können Sie dies gerne tun. Closing ist nicht dauerhaft und Fragen können wieder geöffnet werden, überprüfen Sie die FAQ für weitere Informationen.
Kaveh
2
@Kaveh: Ich denke, die Frage ist in Ordnung, besonders wenn man Davids prägnante Antwort bedenkt.
Huck Bennett
2
@HuckBennett Ich stimme Kaveh zu, dass diese Frage auf cstheory geschlossen werden sollte, meistens um konsequent zu sein. Ich stimme Ihnen jedoch auch zu: Dies ist eine lustige Frage, und wenn Sie DFAs zum ersten Mal sehen, sollten Sie sich diese Frage unbedingt stellen. Ich denke, das OP sollte versuchen, ein bisschen Spaß daran zu haben, die Antwort für sich selbst zu finden, und dann Math.SE zu Rate ziehen, um weitere Informationen zu erhalten.
Artem Kaznatcheev
11
Dies ist keine Hausaufgabe (obwohl sie von einer Hausaufgabe inspiriert ist), sondern eine interessante Frage. Ich glaube nicht, dass dies ein bekanntes Ergebnis ist und die Antwort auf die Frage in einem Forschungsjournal veröffentlicht wurde. Ich verstehe nicht, warum es geschlossen werden sollte. Die obere Grenze war Hausaufgabe und ist in der Tat einfach, aber die Frage betraf die untere Grenze.
Peter Shor
1
@ Janoma: In der Tat. Das Ende der Frage legt nahe, dass das OP obere Schranken mit unteren Schranken verwechselt.
Michael Blondin

Antworten:

32

nR

nRnn

David Harris
quelle
1
Genau das, wonach ich gesucht habe. Danke, ich werde bald in die Zeitung eintauchen.
Nick Van Hoogenstyn
2
Die Verbindung scheint unterbrochen zu sein
Gigabyte
8

Es gibt einen weiteren Artikel zum gleichen Thema: B. Alexeev, Minimal DFA zum Testen der Teilbarkeit, J. Comput. Syst. Sci. 69 (2004), 235–243.

Jeffrey Shallit
quelle