Ausdrucksfähigkeit der Alg.-Modelle
Ausdrucksfähigkeit der Alg.-Modelle
Ausdrucksfähigkeit der Alg.-Modelle
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Post’sches Korrespondenzproblem: Bsp. 2 (2)<br />
α = (10, 011, 101), β = (101, 11, 011)<br />
Gäbe es eine Lösung, so müsste sie mit 1 anfangen:<br />
1 0 … ?= 1 0 1 …<br />
Dann ein i mit α i = 1 …, also 1 o<strong>der</strong> 3.<br />
(1, 1, …) ergibt<br />
(1, 3, …) ergibt<br />
1 0 1 0 … ≠ 1 0 1 1 0 1 …<br />
1 0 1 0 1 … ?= 1 0 1 0 1 1 …<br />
Index 3 muss wie<strong>der</strong> gewählt werden, (1, 3, 3, …) ergibt<br />
1 0 1 0 1 1 0 1 … ?= 1 0 1 0 1 1 0 1 1 …<br />
Wie<strong>der</strong> müsste 3 gewählt werden usw.<br />
terminiert nicht!<br />
264