kontextfrei
kontextfrei
kontextfrei
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