faecher:informatik:oberstufe:automaten:sprachtypen:start

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.

Link zu der Vergleichsansicht

Beide Seiten, vorherige Überarbeitung Vorherige Überarbeitung
Nächste Überarbeitung
Vorherige Überarbeitung
faecher:informatik:oberstufe:automaten:sprachtypen:start [06.03.2023 10:14] – [Klassifizierung der Typen:] Frank Schiebelfaecher:informatik:oberstufe:automaten:sprachtypen:start [06.03.2023 10:36] (aktuell) Frank Schiebel
Zeile 11: Zeile 11:
 {{ :faecher:informatik:oberstufe:automaten:sprachtypen:chie.drawio.png |}}((Die rot umrandeten sind nicht Teil des Bildungsplans im Baden-Württemberg)) {{ :faecher:informatik:oberstufe:automaten:sprachtypen:chie.drawio.png |}}((Die rot umrandeten sind nicht Teil des Bildungsplans im Baden-Württemberg))
  
-Wie im Schaubild zu erkennen ist, sind die Sprachtypen hierarchisch ineinander enthalten, jede Typ 2 Sprache ist also auch stets vom Typ 0 und vom Typ 1.+Wie im Schaubild zu erkennen ist, sind die Typen der Grammatiken hierarchisch ineinander enthalten, jede Typ 2 Sprache ist also auch stets vom Typ 0 und vom Typ 1.
  
-==== Klassifizierung der Typen====+==== Klassifizierung der Typen ====
  
 === Typ 0 === === Typ 0 ===
Zeile 35: Zeile 35:
 === Typ 3 === === Typ 3 ===
  
-**Typ 3** Grammatiken erlauben bei jeder Regel auf der rechten Seite nur\\ - ε oder\\ - einzelne Zeichen des Alphabets oder \\ - ein einzelnes Zeichen des Alphabets und danach eine einzelne Variable stehen (rechtsregulär) oder \\ - eine einzelne Variable und danach ein einzelnes Zeichen stehen (linksregulär)\\  Erlaubt: ''A->aB'', ''B->c'', ''C->ε'', ''A->Ba'' \\ Verboten: ''A->aBa'', ''C->abD'' \\ Typ 3 Grammatiken erzeugen reguläre Sprache, diese können von DEAs erkannt werden.+**Typ 3** Grammatiken erlauben bei jeder Regel auf der rechten Seite nur 
 +  * ε oder 
 +  * einzelne Zeichen des Alphabets oder 
 +  * ein einzelnes Zeichen des Alphabets und danach eine einzelne Variable stehen (rechtsregulär) oder  
 +  * eine einzelne Variable und danach ein einzelnes Zeichen stehen (linksregulär)
  
 +Erlaubt: ''A->aB'', ''B->c'', ''C->ε'', ''A->Ba''. Verboten: ''A->aBa'', ''C->abD''
 +Typ 3 Grammatiken erzeugen reguläre Sprachen, diese können von DEAs erkannt werden.
 +
 +{{ :faecher:informatik:oberstufe:automaten:sprachtypen:t3.drawio.png |}}
 +
 +
 +===== Dateien =====
 +
 +{{simplefilelist>:faecher:informatik:oberstufe:automaten:sprachtypen:*}}
  • faecher/informatik/oberstufe/automaten/sprachtypen/start.1678097653.txt.gz
  • Zuletzt geändert: 06.03.2023 10:14
  • von Frank Schiebel