Informatik zum Jahresanfang – noch mehr Teiler - Spoiler

[Gunnar Bittersmann]

@@Matthias Apsel

Das widerspricht dem Prinzip des endlichen Automaten, der endlich heißt wegen der endlich vielen Zustände. Und bei beliebigem n musst du auch beliebig viele Zustände vorhalten.

Ich glaube, wir haben eine unterschiedliche Vorstellung davon, was „beliebig“ bedeutet. Du darfst auch gerne „konkret“ dazu sagen (nur dass du halt nicht weißt, welchen konkreten Zahlenwert das n hat).

„Beliebig, aber fest“ heißt: Wähle ein beliebiges n. Erstelle für dieses dann feste (konkrete) n den Automaten, der die Teilbarkeit durch dieses n erkennt.

Dieser Automat braucht nicht beliebig viele Zustände, sondern eine bestimmte Anzahl in Abhängigkeit von n. (Hättest du ein anderes n gewählt, bräuchte der Automat eine andere Anzahl von Zuständen.)

LLAP 🖖