1
Wenn Sie z. B. {x | xεZ, 0 < x} an sie füttern, gibt {1,2,3,4,5,6,7,8,9,10,11, ...} zurück.Gibt es Software, die festgelegte Builder-Notationen akzeptiert und Dienstplan-Notationen zurückgibt?
A
Antwort
1
Ich kenne keine solche Software.
Beachten Sie, dass kein allgemeiner Algorithmus zum Aufzählen beliebiger Mengen existieren kann; ein Programm, das irgendeines Satzes akzeptiert, der in Satzerstellungschreibweise geschrieben wird, muss in der Lage sein, z.B. das Halteproblem. Darüber hinaus gibt es Mengen, die auch theoretisch nicht aufgezählt werden können, zum Beispiel solche, deren Konstruktion die Verwendung einer Wahlfunktion an den Realen erfordert.
Natürlich ist das Problem einfacher, wenn Sie einschränken, welche Art von Ausdrücken in der Set-Builder-Notation erscheinen kann, aber selbst dann ist alles, was komplexer als lineare Ungleichungen ist, überraschend schwierig. Zum Beispiel ist bekannt, dass kein Algorithmus existiert, um zu bestimmen, ob eine Polynomgleichheit P(x_1, ..., x_9)=0 in neun Variablen eine ganzzahlige Lösung hat (dies ist eine Erweiterung von Hilberts 10. Problem), geschweige denn, tatsächlich einige exemplarische Lösungen zu finden.
+0
Vielen Dank! – Kou
Möchten Sie eine unendliche Menge zurückgeben? Was Sie an Ihrem Beispiel tatsächlich zu haben scheinen, besteht darin, das, was Sie Set-Builder-Notation nennen, in etwas umzuwandeln, das ich "Set-Beispiel" -Notation nennen möchte, weil ich nicht weiß, ob es einen weit verbreiteten Namen hat. Bitte klären Sie Ihre Anforderungen. –
Sorry für die späte Antwort Ich habe nicht bemerkt, dass ich eine Antwort bekommen habe, und danke für Ihren Kommentar. Was ich meinte, war keine wörtliche unendliche Menge. Ich möchte, dass es wie im obigen Beispiel einen abgekürzten Satz zurückgibt. Wenn eine gegebene Zeichensatz-Notation unendlich ist, möchte ich, dass sie eine abgekürzte "Satz-Beispiel" -Notation wie {1,2,3,4, ...} zurückgibt. – Kou