Kontextfreie Sprachen Kontextfreie Grammatiken Definition 13.1 ...
Kontextfreie Sprachen Kontextfreie Grammatiken Definition 13.1 ...
Kontextfreie Sprachen Kontextfreie Grammatiken Definition 13.1 ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Satz <strong>13.1</strong>3<br />
ReL $ = REG $ = LiL $ = TYP3 $<br />
ReL $ = REG $ = LiL $ = TYP3 $<br />
Beweis<br />
1. REG $ , ReL $ : Satz 13: 8<br />
2. ReL $ , REG $ : Satz 13: 12<br />
3. ReL $ = REG $ : Konsequenz von 1 und 2<br />
4. LiL $ = SP(ReL $) : Beobachtung <strong>13.1</strong>0.1<br />
5. LiL $ = SP(REG $) : Konsequenz von 4 und 3<br />
6. SP(REG $) = REG $ : Beobachtung <strong>13.1</strong>0.2 und 5<br />
7. LiL $ = REG $ : Konsequenz von 5 und 6<br />
8. ReL $ " LiL $ = TYP3 $ : <strong>Definition</strong> <strong>13.1</strong>3<br />
9. TYP3 $ = REG $: Konsequenz von 3, 7, 8<br />
FGI-1 Habel / Eschenbach Kap 13 <strong>Kontextfreie</strong> <strong>Sprachen</strong> & <strong>Grammatiken</strong> [27]<br />
Reguläre <strong>Sprachen</strong> – <strong>Kontextfreie</strong> <strong>Sprachen</strong><br />
Typ-2-<strong>Sprachen</strong><br />
• <strong>Kontextfreie</strong> <strong>Sprachen</strong> werden auch als Typ-2-<strong>Sprachen</strong> bezeichnet.<br />
• Dementsprechend wird TYP2 $ für die Menge der <strong>Kontextfreie</strong>n <strong>Sprachen</strong><br />
verwendet.<br />
Reguläre <strong>Sprachen</strong> – <strong>Kontextfreie</strong> <strong>Sprachen</strong><br />
• reguläre <strong>Sprachen</strong> sind eine echte Teilklasse der kontextfreien <strong>Sprachen</strong><br />
• welche Charakteristika von Regeln, Baumstrukturen, Ableitungen sind für die<br />
Nicht-Regularität gewisser kontextfreier <strong>Sprachen</strong> verantwortlich?<br />
• wie unterscheiden sich die Abschlusseigenschaften von regulären und<br />
kontextfreien <strong>Sprachen</strong>?<br />
<strong>Kontextfreie</strong> <strong>Sprachen</strong><br />
• welche Modifikationen des Konzeptes endlicher Automaten werden benötigt, um<br />
Automaten, die kontextfreie <strong>Sprachen</strong> akzeptieren, zu konstruieren?<br />
• welche Eigenschaften charakterisieren <strong>Sprachen</strong> als nicht-kontextfrei?<br />
FGI-1 Habel / Eschenbach Kap 13 <strong>Kontextfreie</strong> <strong>Sprachen</strong> & <strong>Grammatiken</strong> [28]
Change language