design gesucht - Angabe von zu ersetzenden substrings

[diggaa1984]

hiho,

hab mir schon Mühe gegeben mitm Titel

also folgendes Problem:

ich habe eine Klasse FormulaOptimizer, welche dazu dient Formeln zu optimieren. Das kann ersetzen langer Teilstrings bedeutet, sowie ersetzen von Formelteilen durch andere gültige Formeln (mal ein auf normale Mathematik übertragenes Bsp: 3^(-1) * ((2 + 3) * (4 + 5)) sollte dann zu (1/3) * 40 werden, damit der Parser weniger zu tun hat). Dieses Beispiel is nur symbolisch, ich arbeite mit temporalen Formeln, welche aber eben auf ihre Weise optimiert werden können, genauso wie logische Ausdrücke auch optimiert werden können.

So, was der Optimizer dazu wissen muss ist, welche Substrings durch was ersetzt werden und viel wichtiger in welcher Reihenfolge. Bei mir ist es bspw so, das ich reelle Zahlen und dezimale Zahlen ersetze. Damit es hier nicht zu Fehler kommt muss ich zuerst die reellen Zahlen ersetzen, denke das ist klar (Bsp: 1,234.567 müsste ich zuerst erkennen, da sonst in ihr die dezimalen Zahlen 1 234 und 567 erkannt werden könnten).

Was ich mich nun Frage ist, wie ich das am dümmsten designe. Ich hatte die Idee das Ganze ähnlich des message-Parameters in JOptionPanes zu gestalten.
Zur bisherigen Nutzung hätte ich an List<String> gedacht, welche einfach direkt ersetzt werden würde (formel.contains(listElemXY) dann ersetzen. Eine zweite Option wäre die Angabe eines regulären Ausdrucks, welcher mittel Matcher gesucht werden würde (somit könnte ich diese Zahlen filtern). ich würd ungern hard codieren was ersetzt werden soll, aus Gründen der Erweiterbarkeit/Wartbarkeit.

und ablegen wollte ich das dann in "LinkedList<Object>" .. das müsste doch klappen oda

 

[Ark]

Schreib einen Parser (oder lass dir einen generieren) für kontextfreie Grammatiken und gib den Elementen auf dem Stack entsprechende Attribute mit (z.B. "Konstante"), an denen das Programm erkennen kann, was jetzt zu tun möglich ist. Beispiel: Wenn die zu addierenden Elemente auf dem Stack konstant sind, ersetze beide durch das Ergebnis der Addition und nenne dieses ebenfalls konstant. Reguläre Ausdrücke reichen jedenfalls nicht.

Ark

 

[diggaa1984]

Schreib einen Parser (oder lass dir einen generieren) für kontextfreie Grammatiken

ok wies scheint kennst meine andern beiträge nicht

in der tat ist es meine aufgabe nen editor für temporale Logiken (kontextfreie Grammatik) zu schreiben, wobei ich aber da nicht auf die Art der Logik (BDD-CTL, IDD-CTL, LTL etc) beschänkt sein soll. Daher habe ich nen eigenen Parser entworfen der auf dem CYK-Algorithmus basiert. Der Scanner dafür ist schon im Parser selbst integriert. Soll heissen, das ich vor dem Parsen keinerlei Token erkenne. Das Ganze funktioniert ohne Probleme recht performant, daran werde ich nix mehr ändern, und ich kann JEDE kontextfreie Grammatik parsen!

dennoch danke für die Idee, ist nun mein geplantes Vorgehen umsetzbar und akzeptabel?

Als Bsp:
AF((no_resources_left || machine_defect) => (!is_producing));
AF(is_producing U (failure > 0.1e-6));

der Sinn sei mal dahingestellt, aber so sehen die Formeln zB aus.

das würde ersetzt werden zu:
AF((PLACE || PLACE) => (!PLACE));
AF(PLACE U (PLACE > FLOAT));

da ich keinen Interpreter baue, ist der eigentliche Inhalt von PLACE und FLOAT egal, aber es ermöglich die Verwendung dieser Bezeichner in der Grammatik, sodass FLOAT eben nicht in der Grammatik selbst definiert werden muss als Folge von Zahlen, mit Punkt und Komma an diversen Stellen.

Daher kann ich die Zahlen locker mit RegExpr's filtern:
FLOAT: "\\d+(\\,\\d+)*\\.\\d+([eE]?[-+]?\\d+)?"
DECIMAL: "\\d+(\\,\\d+)*"