1.7 Das Postsche Korrespondenzproblem (PCP) - Universität Kassel
1.7 Das Postsche Korrespondenzproblem (PCP) - Universität Kassel
1.7 Das Postsche Korrespondenzproblem (PCP) - Universität Kassel
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Kapitel 1: Berechenbarkeitstheorie<strong>1.7</strong> <strong>Das</strong> <strong>Postsche</strong> <strong>Korrespondenzproblem</strong> (<strong>PCP</strong>)<strong>Das</strong> Problem M<strong>PCP</strong>:Eingabe: wie bei <strong>PCP</strong>.Frage: Gibt es eine Lösung i 1 , i 2 ,...,i n mit i 1 = 1 ?Prof. Dr. F. Otto (Universität <strong>Kassel</strong>) Berechenbarkeit und Formale Sprachen 136 / 310