Ubungen zur Vorlesung ¨ Informatik III
1
0
0
Volltext
ÄHNLICHE DOKUMENTE
[r]
Haus- aufgaben, die nach 14:00 Uhr ¨uber den Briefkasten oder nach Beginn der Zentral¨ubung abgegeben werden, werden nicht ber¨ucksichtigt.. Eine Abgabe in Gruppen
Im folgenden soll gezeigt werden, dass dieses Verfahren auch korrekt ist, also dass M 0 = M gilt... Ziel dieser Aufgabe ist es, G in Chomsky-Normalform umzuwandeln. Um sich etwas
a) Wir zeigen M 0 ⊆ M durch Induktion ¨uber die Anzahl der Iterationsschritte des oben beschriebenen Verfahrens.. Hier hat der Ableitungsbaum Tiefe 1, besteht also nur aus der Wurzel
Bandsymbolen. Ein guter Kandidat f¨ur die neuen Symbole sind Paare von alten Symbolen... Aufgabe 45: 4 Punkte In dieser Aufgabe betrachten wir Turing-Maschinen ohne die
In dieser Aufgabe betrachten wir zwei modifizierte Halteprobleme. Geben Sie zu jedem der beiden folgenden Probleme an, ob sie entscheidbar sind oder nicht. Wenn Ihre Antwort “ja”
Um Schl¨agereien zu vermeiden, m¨ochte man keine zwei G¨aste aus seinem Bekanntenkreis einladen, die sich nicht leiden k¨onnen (z.B. weil der eine den anderen vormals nicht zu
Die Formel Φ 0 , die man auf diese Weise erh¨alt, ist erf¨ullbar gdw. Es ist sogar so, dass eine erf¨ullende Belegung f¨ur Φ auch eine erf¨ullende Belegung f¨ur Φ 0 ist.
