Formale Sprachen
Zeichen, Alphabet, Wort, Sprache, Grammatik, Produktion und Ableitung in einem gemeinsamen Arbeitsstand untersuchenArbeitsbereich Formale Sprachen
Gemeinsamer Arbeitsstand für Sprache, Grammatik, Ableitung und Darstellungen
Einstieg
Womit möchtest du beginnen?
Wähle ein vorhandenes Beispiel oder lege eine eigene Sprachgrundlage an. Beides bleibt ein freier Arbeitsstand.
Freier Arbeitsraum
Wörter und Sprache
Bearbeite einen zusammenhängenden formalen Sprachgegenstand. Beispiele befüllen den Editor, ohne daraus eine Aufgabe zu machen.
Wörter und Sprache
Lege eine Sprachgrundlage fest und untersuche anschließend ausgewählte Testwörter.
Sprache festlegen
Lege das Alphabet fest. Die Prüfgrundlage zeigt, ob das Werkzeug zusätzlich Aussagen über L treffen kann.
Symbole mit Komma trennen.
Σ = {}
Prüfmodus: nur Σ*
Wort prüfen
Prüfe ein Wort zuerst gegen das Alphabet und, falls eine formale Regel aktiv ist, anschließend gegen L.
Ein Wort pro Zeile. Verwende ε für das leere Wort.
Prüfgrundlage und Arbeitsstand
Die Auswahl ist revisionsgebunden. Ein veralteter Stand wird nicht still durch eine andere Grundlage ersetzt.
Beschreibung und Beispiele
Sprache in Worten dokumentieren und durch Beispiele veranschaulichen
Beschreibung und Beispiele
Sprache in Worten dokumentieren und durch Beispiele veranschaulichen
Dieses Feld dokumentiert die Sprache, wird aber nicht allgemein automatisch interpretiert.
Grammatik
Definiere G = (N, T, P, S); die Produktionsform wird aus den eingegebenen Produktionen bestimmt.
Grammatik definieren
Noch nicht geprüft.
Eine begrenzte Suche beweist bei keinem Treffer keine Nicht-Ableitbarkeit.
Grammatikdetails N = {}; T = {}; Start: –
Der Modus gehört zur Grammatikrevision. Ein Wechsel deutet vorhandene Eingaben nicht still um.
Generierungseinstellungen
Erwartete Einordnung
Die erkannte Produktionsform erscheint in der Diagnose. Diese Angabe bleibt eine optionale Selbsteinordnung und ist nicht Teil von G = (N, T, P, S).
Ableitung
Untersuche eine linksableitende Folge auf Basis des gemeinsamen Grammatikstands.
Aktive Grammatik
G = (N, T, P, S)
Satzformen als Text bearbeiten
Expertenweg: Strategie Linksableitung; eine Satzform pro Zeile. Beim Prüfen gilt derselbe strukturelle Vertrag wie für den schrittweisen Weg.
Weitere Werkzeuge
Die Suche erzeugt einen getrennten Vergleichsentwurf und überschreibt den manuellen Builder nie.
Ableitungsbaum
Erzeuge und prüfe einen strukturierten Ableitungsbaum auf Basis der aktiven Grammatik.
Syntaxdiagramm
Strukturiere benannte Regeln. Das Diagramm wird deterministisch aus dem gemeinsamen Arbeitsstand abgeleitet.
Regulärer Ausdruck
Beschreibe eine reguläre Sprache in hessischer Notation und prüfe vollständige Testwörter.
Freier Arbeitsraum
Ausgabe und Diagnose
Führe eine fachliche Aktion aus. Ergebnisse werden als Diagnose des aktuellen Arbeitsstands angezeigt.