PCProblem: Postsches Korrespondenz-Problem
Instanz p :: [ (String, String) ] eine Liste [(x_1,y_1), ..] von Paaren von Zeichenketten
Beweis k :: [ Integer ] k ist nicht leer und es gilt x_k_1 ++ .. ++ x_k_n = y_k_1 ++ y_k_n
Siehe auch PCP@HOME