Sie sind auf Seite 1von 4

EBKFS - Heimubung 9

Lukas Liebig Mtrklnr.: 6414122 Alexander Rohlng Mtrklnr.: 6550390 Julian Meschede Mtrklnr.: 6618887

Johannes Brandt Mtrklnr.: 6619008 Aufgabe 1


a L1 = {w {0, 1} | w ist ein Palindrom} Grammatik: V = {S, A, B} = {0, 1, } P ={ 1 S ASA | BSB | 2 A0| 3 B1| }

Markus Kuhn Mtrklnr.: 6609603

b L1 = {w {0, 1} | w enthlt mehr Nullen als Einsen} a Grammatik: V = {S, A, B} = {0, 1, } P ={ 1 S SS | SSA | 2 SA AS 3 S0 4 A1 } c L1 = {w {0, 1}+ | Die Anzahl der Einsen in w ist durch 3 teilbar} Grammatik: V = {S, A} = {0, 1, } P ={ 1 S AAA | 0 | 0S | SAAA 2 0A A0 3 A1 } 1

EBKfS Ubungsgruppe 07

Johannes Brandt Lukas Liebig Alexander Rohlng Julian Meschede Markus Kuhn

Aufgabe 2
Idee: Wir zeigen, dass eine Grammatik G eine Turingmaschine M simulieren kann.

Konstruktion: Sei M = (Q, T M , T M , ). Konstruiere G = (V, G , P, S) V = Q {S, , } G = T M Falls M eine Funktion f berechnet und f (w) = w dann q0 v w Jeder Schritt der Turingmaschine wird simuliert durch eine Ableitung aus der Grammatik G. Jeder Schritt der Ableitung produziert ein String u , welcher die Konguration der Turingmaschinen im aktuellen Schritt beschreibt. Im folgenden gilt: a, b, c, d T M ;qi , qj Q Falls die Produktion wie folgt aussieht: (qi , b) = (qj , c, L) so folgt die Grammtik muss so aussehen a T M : aqi b qj ac qi b qj c Falls die Produktion so aussieht: (qi , b) = (qj , c, R) so folgt die Grammtik muss so aussehen d T M : qi bd cqj d qi b cqj Es werden weitere Produktionen bentigt, um die Denition einer Turingmaschine zu o erfllen: u aqaccept qaccept a aqreject qreject a qaccept qreject

Aufgabe 3
Eine denite Sprache L wird als Hintereinanderschaltung zweier Sprachen dargestellt, welche regulr sind. Somit ist auch die dadurch entstehende Sprache L regulr. a a Die denite Sprache L lsst sich als Konkatenation zweier Sprachen P und Q darstela len. Jedes Wort w she folgendermaen aus: a w = w1 w2 w3 ..wn = w1 w2 ...wnl wnl+1 ...wn mit l k, k N w = p q, p = w1 w2 ...wnl , q = wnl+1 ...wn mit p Q, q Q L = P Q

EBKfS Ubungsgruppe 07

Johannes Brandt Lukas Liebig Alexander Rohlng Julian Meschede Markus Kuhn

Ob ein Wort w L oder w L, hngt lediglich von den (maximal) letzten k Zeichen / a ab. Die Entscheidung ob w L hngt also nur von q ab. Die Worte q Q sind jedoch a hchstens k Zeichen lang, | q | k. Es handelt sich bei Q also um eine endliche Sprache. o Da alle endlichen Sprachen regulr sind, ist also auch Q regulr. Die Entscheidung, a a ob ein Wort w von der Sprache L akzeptiert wird, ist vom vorderen Teil p des Wortes w unabhngig, somit kann p P beliebig gewhlt werden, es ist also a a p undP = . Da regulr ist, ist auch P regulr. Die Sprache L, die sich a a als Hintereinanderschaltung der regulren Sprachen P und Q zu L = P Q ergibt, ist a somit auch regulr. a

Aufgabe 4
Idee: Wir reduzieren das Halteproblem auf L und knnen somit zeigen: Das Halteo problem ist laut Vorlesung nicht entscheidbar, so folgt auch L ist nicht entscheidbar. Reduktion: f (w) = Mrej x sonst M x falls w von der Form M x

M ist die gleiche DTM wie M mit folgenden Anderungen: Neuer Zustand q0 ist Kopie von Startzustand q0 . Alle -Ubergnge zu q0 statt dessen zu q0 . a Alle -Ubergnge die halten, gehen statt dessen zu q0 uber. a Korrektheit: Z.z. w H f (w) L w H f (w) L wH w ist von der Form M x, M hlt a q0 ersetzt q0 und q0 ersetzt die Zustnde die zum halten der TM fhren a u da w in H liegt wird M ein weiteres mal in q0 gehen M akzeptiert M L f (w) L w H f (w) L / / wH / w ist nicht von der Form M x Mrej lehnt sofort ab und in q0 wird kein zweites mal gegangen Mrej x L / f (w) L / 3

EBKfS Ubungsgruppe 07

Johannes Brandt Lukas Liebig Alexander Rohlng Julian Meschede Markus Kuhn

w ist von Form M x, M hlt nicht a q0 ersetzt q0 und q0 ersetzt die Zustnde die zum halten der TM M a fhren u M wird kein weiteres mal in q0 gehen da M nicht hlt a M xL / f (w) L / Da das Halteproblem auf L reduzierbar ist und das Halteproblem nicht entscheidbar ist, ist L ebenfalls nicht entscheidbar. Um zu zeigen, dass L rekursiv aufzhlbar ist, konstruieren wir eine DTM die L akzepa tiert. Konstruiere DTM M : 1. Prfe ob Eingabe w = M x, sonst lehne ab. u 2. Simuliere M mit Eingabe x 3. Falls Simulation nach Beginn Konguration aq0 b auftritt, akzeptiere. Korrektheit: Sei w L. So folgt die Form von w ist M x und M geht nach Beginn noch mindestens einmal in q0 . Somit wird M akzeptieren und w ist in L(M ). Sei w L. So gibt es zwei Flle. Die Form von w ist M x oder die Eingabe ist nicht / a von der Form. Ist sie verletzt so lehnt die DTM direkt ab. Ist sie richtig wird M simuliert und q0 wird nicht erneut besucht.Also lehnt M ab. Somit liegt w nicht in L(M ) .