08.10.2013 Aufrufe

kontextfrei

kontextfrei

kontextfrei

MEHR ANZEIGEN
WENIGER ANZEIGEN

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.

Unentscheidbare Probleme für Typ-2 Sprachen<br />

Die folgenden Probleme können nicht getestet werden<br />

• L(G) = T ∗ Welche Menge beschreibt G?<br />

• L(G1) = L(G2) Äquivalenz von Grammatiken<br />

• L(G1)⊆L(G2)<br />

• L(G1)∩L(G2) = ∅<br />

• L(G) ∈L3<br />

• L(G) ∈L2<br />

• L(G1)∩L(G2) ∈L2<br />

<strong>kontextfrei</strong>es Komplement?<br />

<strong>kontextfrei</strong>er Schnitt ?<br />

Beweise brauchen Berechenbarkeitstheorie / TI-2<br />

THEORETISCHE INFORMATIK I §3: KONTEXTFREIE SPRACHEN 21 EIGENSCHAFTEN KONTEXTFREIER SPRACHEN

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!