Probleme mit Pattern und Aussagenlogik

[greenkohl23]

Hallo,

habe folgendes Problem ich möchte Aussagenlogische Formeln, wie z.B.
( 1 or ( 2 or a ) ) in Java auswerten und dann das Ergebnis als Hexadezimalwert zurück geben.

So, ich glaub ich hab mir die Arbeit nen bissel schwerer gemacht, da ich das mit Pattern versuche und vorher noch nie was damit gemacht habe. Es scheitert momentan schon daran die Formeln atomar darzustellen, sodass ich später ne Auswertung machen kann...

Das ganze soll nach dem Divide and Conquer Prinzip gelöst werden... hier mal mein ansatz:

[Java=1]package de.tda.einlesen;

import java.io.BufferedReader;
import java.io.File;
import java.io.FileReader;
import java.io.IOException;
import java.util.regex.Matcher;
import java.util.regex.Pattern;

import javax.swing.JFileChooser;

public class Einlesen {

/**
* @param args
* @throws IOException
*/
public static void main(String[] args) throws IOException {
JFileChooser chooser = new JFileChooser();
chooser.showOpenDialog(null);

File file = chooser.getSelectedFile();
BufferedReader reader = new BufferedReader(new FileReader(file));

String line = "";

while (line != null) {
line = reader.readLine();
if (line != null)
aussagenLogik(line);
// if (line != null)
// System.out.println(line);

}

}

public static void aussagenLogik(String line) {
Pattern p = Pattern.compile("([^()])(.*)");
Pattern p2 = Pattern.compile("[(]{1}(.*)[)]{1}");
Pattern p3 = Pattern.compile("([(]*)(.*)([)]*)");
Matcher m = p.matcher(line);

if (m.matches()) {
System.out.println(m.group(0));
} else {
m = p2.matcher(line);
if (m.matches()) {
aussagenLogik(m.group(1));
System.out.println(m.group(1));
} else {
m = p3.matcher(line);
if (m.matches()) {
aussagenLogik(m.group(1));
System.out.println(m.group(1));
}
}

}
}
}
[/Java]

So meine Fragen nun dazu:

1. Wieso geht die dritte IF-Bedingung nicht?
2. Wenn ich da weiterkomme wie zerlege ich die Formeln in atomare aussagen und ist es sinnvoll für die Operatoren and, or, not, implies, xor, iff enums einzuführen?

LG greenkohl23

 

[Michael...]

Ich denke mit RegEx wirst Du hier nicht allzu weit kommen. Du brauchst ja einen Parser der sich von "innen" nach "aussen" durch arbeitet. Eventuell hilft Dir das als Vorlage weiter:
http://www.java-forum.org/java-faq-beitraege/12306-parser-fuer-mathematische-formeln.html

 

[Tharsonius]

1. Wieso geht die dritte IF-Bedingung nicht?

Vielleicht wegen Sonnenflecken? ???:L
Interessant wäre zu wissen was da nicht geht.

Gibt es einen Fehler? Wenn ja, welchen?

Wenn nein, dann wird die 3. if ausgeführt und sehr wahrscheinlich ist das Ergebnis false. Da kein else Zweig mit einer Ausgabe vorhanden ist wird einfach nichts ausgegeben. In diesem Fall funktioniert die if-Abfrage aber problemlos.


Grundlegend würde ich die ganze Aufgabe aber rekursiv lösen.
Dazu musst Du das ganze zerlegen. Ich würde die ganze Sache in einen String wandeln (wenn nicht schon so vorliegt) und dann Stückweise vorgehen. 1. Wert mit 2. Wert verknüpfen. Sollte dabei eine Klammer kommen, dann ermittelst den Inhalt der Klammer (incl aller unterklammern) und rufst die Funktion rekursiv mit diesem Teilstring auf. Das Ergebnis verknüfst Du dann mit den anderen Werten der selben Ebene entsprechend der Operation.

 

[greenkohl23]

Ich denke mit RegEx wirst Du hier nicht allzu weit kommen. Du brauchst ja einen Parser der sich von "innen" nach "aussen" durch arbeitet. Eventuell hilft Dir das als Vorlage weiter:
http://www.java-forum.org/java-faq-b...e-formeln.html

Danke werd ich mir gleich ansehen^^

Vielleicht wegen Sonnenflecken?
Interessant wäre zu wissen was da nicht geht.

Gibt es einen Fehler? Wenn ja, welchen?

Mit Sonnenflecken hat das nix zu tun, wenn du den oben hingeschriebenen Ausdruck mal eingibst wirst du sehen, dass er massig Exceptions wirft:

Exception in thread "main" java.lang.StackOverflowError
	at java.util.regex.Pattern.range(Unknown Source)
	at java.util.regex.Pattern.clazz(Unknown Source)
	at java.util.regex.Pattern.sequence(Unknown Source)
	at java.util.regex.Pattern.expr(Unknown Source)
	at java.util.regex.Pattern.group0(Unknown Source)
	at java.util.regex.Pattern.sequence(Unknown Source)
	at java.util.regex.Pattern.expr(Unknown Source)
	at java.util.regex.Pattern.compile(Unknown Source)
	at java.util.regex.Pattern.<init>(Unknown Source)
	at java.util.regex.Pattern.compile(Unknown Source)
	at de.tda.einlesen.Einlesen.aussagenLogik(Einlesen.java:39)
	at de.tda.einlesen.Einlesen.aussagenLogik(Einlesen.java:54)
	at de.tda.einlesen.Einlesen.aussagenLogik(Einlesen.java:54)
	at de.tda.einlesen.Einlesen.aussagenLogik(Einlesen.java:54)
	at de.tda.einlesen.Einlesen.aussagenLogik(Einlesen.java:54)
        ...

 

[Painii]

Exception in thread "main" java.lang.StackOverflowError
at de.tda.einlesen.Einlesen.aussagenLogik(Einlesen.java:54)

Das ist deine 3. if-verzweigung.
Gib mal dein System.out.println() VOR den rekursiven Aufruf, damit du siehst was er überhaupt dann weiter überprüft.

Ist so generell sinnvoll, ausgeben was du hast, was damit tun, ausgeben was danach passiert.

 

[Leroy42]

Die Zeile
[Java=54] aussagenLogik(m.group(1));
[/Java]

wird scheinbar rekursiv aufgerufen.

Gib doch mal via System.out.printlns aus was
die Parameter m.group(1) sind. ???:L

Dies aber auf jeden Fall direkt vor dem rekursiven Aufruf.

 

[greenkohl23]

okay, also wenn ich nen syso mache mit m.group(1), dann sagt er (

das is ja mal gar nich in meinem interesse, eigentlich dachte ich eher daran, dass er dann die erste klammer weglässt und folgendes tut:

aus ( 1 or ( 2 or a ) ) sollte werden (2 or a) , damit die rekursion auch nen Sinn ergibt^^