CoboCards App FAQ & Wishes Feedback
Language: English Language
Sign up for free  Login

This flashcard is just one of a free flashcard set. See all flashcards!

All main topics / Mathematik / Berechenbarkeit / Berechenbarkeit I
64
Beweis: MPKP PKP II
Sei eine PKP Lösung minimaler Länge für f(K).
1.) Die Lösung beginnt und endet mit Anfangsstein bzw. Schlussstein weil nur diese mit demselben Zeichen beginnen/enden
2.) Der Anfangsstein kann nicht in der Mitte vorkommen, da sonst im oberen Wort zwei # aufeinanderfolgen würden, was im unteren unmöglich ist.
3.) Der Schlussstein ist der letzte Stein, da sonst $ vorher auftreten würde und wir die korrespondierende Folge nach dem ersten Vorkommen des $-Zeichen abschneiden könnten und damit eine kürzere gefunden hätten.
Die PKP-Lösung von f(K) hat also die Struktur:

Daraus ergibt sich folgende MPKP-Lösung für K:

Es gilt also:
New comment
Flashcard info:
Author: hemag
Main topic: Mathematik
Topic: Berechenbarkeit
Published: 16.03.2010

Cancel
Email

Password

Login    

Forgot password?
Deutsch  English