Gibt es ein Programm, mit dem ich einen Regex mit einem Finite State Machine Graph entwerfen kann?

Question

Ich habe genug von Regex-Notation. Es ist hässlich, unlesbar und unmöglich zu debuggen. Mathematiker verwenden jedoch seit Jahrzehnten Finite-State-Maschinen, um reguläre Ausdrücke zu entwerfen.

Wenn ich von Regexes verärgert immer, ich werde es gehen und ziehen als endlicher Automat mit der Hand und dann die Finite State Machine übersetzen müssen in das, was scheußlich regex Syntax I‘ m heute benutzen.

Gibt es ein Programm, mit dem ich endliche Automaten entwerfen und eine Regex ausspucken kann?

Answer 1

JFLAP ist eine Software für formale Sprachen Themen wie nichtdeterministischen endlichen Automaten, nichtdeterministischen Kellerautomaten, Mehrband-Turingmaschinen, verschiedene Arten von Grammatiken zu experimentieren, Parsen und L-Systemen. Zusätzlich zum Erstellen und Testen von Beispielen für diese ermöglicht JFLAP das Experimentieren mit Konstruktionsbeweisen von einem Formular zum anderen, z. B. das Konvertieren eines NFA zu einem DFA in einen minimalen DFA-Zustand in einen regulären Ausdruck oder eine normale Grammatik.

JFLAP

Answer 2

Wenn Sie Python kennen, können Sie greenery versuchen. Das Paket fsm ist für endliche Automaten und lego für Objekte mit regulärem Ausdruck. Die beiden können frei ineinander umgerechnet werden.

>>> from greenery import fsm 
>>> x = fsm.fsm(
...  alphabet={"1", "2"}, 
...  states={"A", "B", "C", "D", "E"}, 
...  initial="A", 
...  finals={"E"}, 
...  map={ 
...   "A": {"1": "C", "2": "A"}, 
...   "B": {"1": "B", "2": "D"}, 
...   "C": {"1": "E", "2": "C"}, 
...   "D": {"1": "A", "2": "B"}, 
...   "E": {"1": "C", "2": "D"} 
...  } 
...) 
>>> print(x.lego()) 
(1(11|2)*12(21*2)*1|2)*1(11|2)*1 

Ich glaube, ich möchte darauf hinweisen, dass Ihr Beispiel Finite-State-Maschine fehlt sowohl einen Anfangszustand und alle Endzustand, so dass ich vermutete sie. Außerdem wird eine willkürliche FSM normalerweise in einen ziemlich schrecklichen regulären Ausdruck umgewandelt, und die Vereinfachung eines regulären Ausdrucks ist rechnerisch schwierig ...