Theoretische und technische Informatik - ganz praktisch
Herzlich willkommen auf der Question/Answer-Plattform zu Grundlagen der Informatik II. Wir wünschen Ihnen viel Spaß beim Lernen und Diskutieren!
Loggen Sie sich mit Ihrem KIT-Account (u...) ein, um loszulegen!
Beachten Sie auch diese Informationen zum Schnelleinstieg.
(Nicht-KIT-Studierende beachten bitte diese Informationen.)

Ausreichender Beweis

0 Punkte
53 Aufrufe

Ist folgender Beweis für die (Bonus-)Klausur ausreichend oder fehlt hier noch etwas?

Gefragt 14, Jan 2017 in PUM-AA von uodsh uodsh Eins-Komma-Null-Anwärter(in) (2,280 Punkte)  

Eine Antwort

0 Punkte
 
Beste Antwort
Na ja, fast. Ganz am Ende werden Sie ein bisschen schlampig mit den Bezeichnungen - $w$ ist oben gleich $0^n1^n$, da kann es unten nicht plötzlich $0^{n-k}1^n$ sein, zumindest, solange $k \geq 1$. Das können Sie stattdessen meinetwegen $w'$ nennen oder so.

Ansonsten ist der Beweis aber in Ordnung.
Beantwortet 14, Jan 2017 von Lukas König Dozent (10,065,100 Punkte)  
ausgewählt 14, Jan 2017 von uodsh uodsh
...