Werkzeuge � Q3.2/Q3.3

Werkzeug Formale Sprachen (Grammatik, Sprache, Akzeptor)

Konstruktiver Editor mit glossarkonformer Akzeptor-Sicht sowie Bereichen fuer Grammatik und Sprache.

Die Arbeitsumgebung verbindet drei Ebenen: Grammatik G, Sprache L und Akzeptor A = (Z, Σ, δ, z₀, E).

Phase 2 fokussiert auf einen konstruktiven DEA-Editor plus Sprach-/Testwortbereich und eine erste Grammatikeingabe mit Validierung.

Arbeitsbereich Formale Sprachen

Alle Bereiche nutzen ein gemeinsames Modell: Grammatik erzeugt Beispielwoerter, Sprache strukturiert Testwoerter, der Akzeptor erkennt Woerter.

Automat konstruieren

Modus

Standardkonfiguration

Eingabealphabet Σ (kommagetrennt)

Form: A = (Z, Σ, δ, z₀, E)

Startzustand z₀: –

Endzustaende E: –

Auswahl bearbeiten

Keine Auswahl.

Waehle einen Zustand oder einen Uebergang im Diagramm.

Zustandslabel

Uebergangssymbole (kommagetrennt)

Neue Uebergangssymbole (Modus: Uebergang hinzufuegen)

Wort pruefen / Simulation

Eingabewort

Noch keine Wortpruefung ausgefuehrt.

Sprache strukturieren

Die Sprache ist die Menge der Woerter, die der Automat akzeptiert. Beispiele helfen beim Pruefen, ersetzen aber keine vollstaendige Sprachdefinition.

Sprachbeschreibung (informell)

Akzeptierte Beispielwoerter (eine Zeile pro Wort)

Verworfene Beispielwoerter (eine Zeile pro Wort)

Testwoerter fuer Batch-Pruefung (eine Zeile pro Wort)

Grammatik als zweite Darstellung

Eine Grammatik erzeugt Woerter. Das Tool kann Beispielwoerter erzeugen, behauptet aber nicht automatisch, dass Grammatik und Automat dieselbe Sprache beschreiben.

Grammatiktyp

Nicht-Terminale N (kommagetrennt)

Terminale T (kommagetrennt)

Startsymbol S

Produktionen P (eine Regel pro Zeile)

Maximale Wortlaenge (Generierung)

Noch keine Grammatikpruefung ausgefuehrt.

Kellerautomat / Speicherautomat

Kellerautomat erweitert den endlichen Automaten um einen Stack. Er eignet sich fuer kontextfreie Strukturen wie a^n b^n und Klammerausdruecke.

PDA-Preset

Zustaende (kommagetrennt)

Eingabealphabet (kommagetrennt)

Kelleralphabet (kommagetrennt)

Startzustand

Kellerbodenzeichen

Endzustaende (kommagetrennt)

Akzeptanzmodus

maxSteps

Regeln (from | input | stackTop | to | replace)

Eingabewort (leer = ε)

Workspace importieren/exportieren

Importdatei (.json)

JSON-Text (Import/Export)

Bereit.

Lerngrafik exportieren

Reproduzierbare D-Book-Abbildungen auf Basis vorhandener DEA-Presets (Q3.2 Startserie).

Figure-Preset

Variante: -

Titel: -

SVG-Text (Export)

Bereit.

Akzeptor-Editor

Modus: Auswaehlen. Startzustand mit Startpfeil, Endzustaende als Doppelkreis, Uebergaenge als gerichtete Pfeile.

δ-Tabelle

–

Automatenvalidierung

Automat und Grammatik sind genau dann aequivalent, wenn L(A) = L(G). Diese Seite prueft zunaechst Beispiele und Simulationen, aber keine vollstaendige Aequivalenz.

Bereit.

Trace

Bereit.

Batch-Ergebnisse L(A)

Bereit.

Grammatik-Validierung / L(G)-Beispiele

Bereit.

PDA-Validierung

Bereit.

PDA-Trace

Bereit.

Werkzeug Formale Sprachen (Grammatik, Sprache, Akzeptor)

Automat konstruieren

Auswahl bearbeiten

Wort pruefen / Simulation

Sprache strukturieren

Grammatik als zweite Darstellung

Kellerautomat / Speicherautomat

Workspace importieren/exportieren

Lerngrafik exportieren

Akzeptor-Editor

δ-Tabelle

Automatenvalidierung

Trace

Batch-Ergebnisse L(A)

Grammatik-Validierung / L(G)-Beispiele

PDA-Validierung

PDA-Trace

PDA-Stack