Ausdrucksfähigkeit der Alg.-Modelle

Post’sches Korrespondenzproblem: Bsp. 1
Eingabelisten:
A = {0, 1}
α = (1, 10111, 10)
β = (111, 10, 0)
Dieses Post’sche Korrespondenzproblem besitzt
eine Lösung, die Korrespondenz (2,1,1,3):
10111 . 1 . 1 . 10 = 10 . 111 . 111 . 0
262