Hallo ich brauche Hilfe bei einer Aufgabe:
Es sollen Quantorenfunktionen von natürlicher Sprache in eine formale Darstellung und zurück umgewandelt werden. Dabei entspricht
Schreiben Sie eine Funktion
die expr von der natürlichen Darstellung in die formale Darstellung verwandelt und das Ergebnis zurückgibt, sowie
die expr von der formalen Darstellung in die natürliche Darstellung verwandelt. Sie können dazu alle Methoden der Klasse String verwenden, vor allem replace, substring und indexOf.
Beispiel
Die Befehle
sollen folgende Ausgabe erzeugen:
Schreiben Sie auch eine main-Funktion, die die Funktionen testet.
Meine Frage: Wie mach ich das mit der Variable x bzw y z w P?
Bzw kann mir jmd ein Beispiel geben wie so ein Code aussehen soll?
Es sollen Quantorenfunktionen von natürlicher Sprache in eine formale Darstellung und zurück umgewandelt werden. Dabei entspricht
- Ax = for all x
- Ex = there is a x so that
- NAx = not for all x
- NEx = there is no x so that
Schreiben Sie eine Funktion
public static String formalize (String expr) |
public static String naturalize (String expr) |
Beispiel
Die Befehle
String expr = formalize ("not for all x there is a y so that for all z there is no w so that not P"); System.out.println (expr); System.out.println (naturalize (expr)); |
NAxEyAzNEwNP not for all x there is a y so that for all z there is no w so that not P |
Meine Frage: Wie mach ich das mit der Variable x bzw y z w P?
Bzw kann mir jmd ein Beispiel geben wie so ein Code aussehen soll?