Ausdrucksfähigkeit der Alg.-Modelle

Post’sches Korrespondenzproblem
Gegeben seien ein Alphabet A und zwei gleich
lange Listen von Worten über A:
α = (α 1, α 2, …, α n)
β = (β 1, β 2, …, β n)
wobei α i, β i ∈ A + = A * − {ε} und n ≥ 1.
Das Problem besteht nun darin, eine
„Korrespondenz“ zu finden, d.h. eine endliche
Folge (i 1, i 2, …, i k), i j ∈{1, …, n} für j = 1, 2, …, k,
so dass gilt:
α i1 α i2 …α in = β i1 β i2 …β in
261