|
Moin.
Ich lese gerade den ersten Band von Donald E. Knuth's "The Art of Computer Programming"-Reihe.
Ich bin zwar gerade erst am Anfang, jedoch kann ich einen Beispielalgorithmus von ihm nicht nachvollziehen. Das ganze ist wie folgt definiert:
Ein Algorithmus soll durch definiert werden koennen, wobei die Untermengen und enthaelt und gilt. sollen Fixpunkte von sein, es soll also gelten .
repraesentieren dabei den Berechnungsstatus, den Input, den Output und die Berechnungsregel (i.d.Reihenfolge).
Dabei soll fuer jedes gelten: und fuer
Nun Knuth nach diesem System einen Beispielalgorithmus aufgestellt, der wie folgt definiert ist:
Sei die Menger aller Buchstaben und sei die Menger aller Strings aus , also alle mit und mit . ist ein nicht-negativer Integer und ist die Menge aller , wobei und . soll jetzt die Untermenge von sein, bei der gilt, die mit .
Wenn und jetzt aus sind, dann sagt man, kommt in vor, wenn die Form hat, mit und aus .
ist nun definiert mit den beiden Strings , und den beiden Integern , mit als:
Wenn nicht in auftaucht,
Wenn der kuerzeste String ist, fuer den gilt
Mein Problem ist, dass ich die Rolle von und nicht verstehe. Ihre Werte oder ihr Sinn werden nicht genannt und ich kann sie mir auch nicht denken. Und wo ist der Unterschied, ob ich jetzt erhalte, oder , denn Wertetechnisch ist das doch ein und das Selbe?
Ich bitte euch, mir da ein wenig auf die Spruenge zu helfen.
MfG
Surma
|
|