kleine Folien (.pdf)
kleine Folien (.pdf)
kleine Folien (.pdf)
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Automatenund Berechenbarkeit, SoS2011 93<br />
✬<br />
✩<br />
Lemma 12.2 Diefolgenden Probleme sind für(lineare)<br />
kontextfreie Sprachen L1,L2 ⊆ X ∗ unentscheidbar:<br />
1. Ist L1 ∩L2 = ∅?<br />
2. Ist L1 ∩L2 unendlich?<br />
3. Ist L1 ∩L2 regulär?<br />
Satz 12.3 DasHalteproblem für Zwei-Zähler-Maschinen ist<br />
unentscheidbar.<br />
✫<br />
✪<br />
Automatenund Berechenbarkeit, SoS2011 94<br />
✬<br />
✩<br />
Definition 12.2 Eine Teilmenge L ⊆ X ∗ heißt Code, falls<br />
aus w1,...,wm,v1,...,vn ∈ L und w1 · · ·wm = v1 · · ·vn<br />
stets m = n und w i = v i, für i = 1,...,m,folgen.<br />
Lemma 12.4 Esist algorithmisch unentscheidbar, obeine<br />
deterministisch kontextfreie Sprache L ⊆ X ∗ ein Codeist.<br />
✫<br />
✪