Endliche Automaten
Zustände, Übergänge und Wortverarbeitung konstruieren, simulieren und untersuchenQ3.2 · freier Arbeitsraum
Endliche Automaten konstruieren
Das Zustandsdiagramm, die Übergangstabelle und die Simulation verwenden denselben versionierten Automatenstand.
Bereit.
AuftragSchließen
Wähle eine Aufgabe aus, um direkt zu beginnen.
Freier Arbeitsraum aktiv. Es sind derzeit keine produktiven Aufgabenreihen eingeblendet.
Modelleinstellungen
Nur vollständig editorisch und simulatorisch unterstützte Profile sind auswählbar.
Interaktionsebene
Automaten bearbeiten
Zustandsdiagramm
Klicke zum Auswählen oder ziehe einen Zustand.
Übergang anlegen
Wähle zuerst Quelle und Ziel.
Übergangstabelle
Formale Zusammenfassung
Wort testen
Der Lauf arbeitet mit dem sichtbaren Automaten.
- Status
- Noch keine Simulation vorbereitet.
- Position
- –
- Aktiver Zustand
- –
- Restwort
- –
- ε-Abschluss
- –
- Bisherige Ausgabe
- –
Lauf nachvollziehen
Trace
Batch-Prüfung
Keine Batch-Prüfung ausgeführt.
Transformation
Automaten transformieren
Die Quelle bleibt unverändert. Der erzeugte Automat ist zunächst ein getrennter Zielentwurf und wird erst nach Bestätigung übernommen.
Quelle
Kompakte Transformationsquelle nach der hessischen RegEx-Notation; kein zweiter RegEx-Arbeitsraum.
Strukturierte Transformationsquelle; Ableitung und Worterzeugung bleiben im Formalsprachenwerkzeug.
Read-only-Ansicht des aktuellen Arbeitsstands
Übergangstabelle
Formale Definition
GNFA-Normalisierung
Read-only-Arbeitszustand mit künstlichem Start und Ende. Kantenlabels verwenden nur die fachliche Zwischenalgebra.
Konstruktionsschritte
Die fachlichen Konstruktionsschritte bleiben in deterministischer Reihenfolge nachvollziehbar.
Zielentwurf
Read-only-Vorschau bis zur expliziten Übernahme
Übergangstabelle
Formale Zusammenfassung
Read-only-Grammatikentwurf; die Bearbeitung bleibt dem Formalsprachenwerkzeug vorbehalten.
Grammatikmaterial
Read-only-Zielausdruck. Die Bearbeitung bleibt dem Formalsprachenwerkzeug vorbehalten.
RegEx-Struktur und Prüfung
Zuordnungen und Diagnosen
Prüfung und Ergebnis