Formale Sprachen
Zeichen, Alphabet, Wort, Sprache, Grammatik, Produktion und Ableitung schrittweise untersuchenFormale Sprachen beginnen nicht mit Automaten, sondern mit Zeichen, Alphabeten, Wörtern und Regeln. Dieses Werkzeug macht sichtbar, welche Wörter über einem Alphabet liegen und wie eine Grammatik Beispielwörter erzeugt.
Die erkennende Sicht kommt später dazu: Ein Automat prüft ein Wort gegen eine Sprache. In Q3.1 steht zuerst die erzeugende und beschreibende Perspektive im Vordergrund.
Q3.1-Arbeitsbereich: Sprache erzeugen und beschreiben
Arbeite von Σ und Σ* zur Sprache L und zur Grammatik G=(N,T,P,S). Die generierten Wörter sind Beispiele, keine vollständige Aufzählung der Sprache.
Szenario / Preset
Bereit.
1. Alphabet und Wörter
Ein Alphabet Σ ist ein endlicher Zeichenvorrat. Ein Wort ist eine endliche Zeichenfolge aus Σ*; das leere Wort wird als ε notiert.
2. Sprache strukturieren
Eine Sprache L ist eine Menge zulässiger Wörter über einem Alphabet. Die informelle Beschreibung wird hier nicht automatisch verstanden; nur Presets enthalten eine Musterlogik zum Vergleichen.
3. Grammatik und erzeugte Beispielwörter
Eine Grammatik G=(N,T,P,S) beschreibt, wie aus dem Startsymbol S durch Produktionen Wörter entstehen. Die Generierung ist absichtlich begrenzt.
4. Ableitung linksableitend anzeigen
Die Ableitung zeigt nicht den ganzen Ableitungsbaum, sondern eine nachvollziehbare Kette: S ⇒ ... ⇒ w.