Member of the Inner Party schrieb am 21. Dezember 2011 03:31
> "(bis eine Haltebedingung erreicht wird)"
>
> Nein. Eine Turing-Maschine hat keine Haltebedingung.
>
Bist Du Dir da so sicher ?
Also erstmal war Turing ja rein praktisch mit der Dechiffrierung der
deutschen Funksprüche beschäftigt, die per "Enigma" verschlüsselt
waren. Die Enigma im Rohzustand war schon von den Polen mit einem
verblüffend einfachen Verfahren geknackt worden, das zusätzliche
Steckbrett allerdings machte die Sache schwieriger und es mussten
viele Möglichkeiten durchprobiert werden. Turing baute eine Maschine,
die das Durchprobieren elektromechanisch automatisierte, die "Bombe",
wie er sie nannte. Zentralteil war eine sich drehende Walze und wenn
die stehen blieb, hieß das, dass die richtige Lösung gefunden war,
der Code also geknackt war.
Womit Turing so gut wie alle deutschen Funksprüche knacken konnte,
was letztlich kriegsentscheidend war.
Um dem Ganzen ein theoretisches Fundament zu geben, hat er sich dann
ausführlich mit Abbruchbedingungen befasst. Von der "Bombe"
herkommend, waren die natürlich fundamental.
Ein Ergebnis habe ich noch präsent : ein Prozess kann niemals
entscheiden, ob ein anderer endlich ist. Ein Programm also, das alle
Programme stoppt, die auf einer Endlosschleife basieren, kann es
nicht geben.
Gruß Artur
> "(bis eine Haltebedingung erreicht wird)"
>
> Nein. Eine Turing-Maschine hat keine Haltebedingung.
>
Bist Du Dir da so sicher ?
Also erstmal war Turing ja rein praktisch mit der Dechiffrierung der
deutschen Funksprüche beschäftigt, die per "Enigma" verschlüsselt
waren. Die Enigma im Rohzustand war schon von den Polen mit einem
verblüffend einfachen Verfahren geknackt worden, das zusätzliche
Steckbrett allerdings machte die Sache schwieriger und es mussten
viele Möglichkeiten durchprobiert werden. Turing baute eine Maschine,
die das Durchprobieren elektromechanisch automatisierte, die "Bombe",
wie er sie nannte. Zentralteil war eine sich drehende Walze und wenn
die stehen blieb, hieß das, dass die richtige Lösung gefunden war,
der Code also geknackt war.
Womit Turing so gut wie alle deutschen Funksprüche knacken konnte,
was letztlich kriegsentscheidend war.
Um dem Ganzen ein theoretisches Fundament zu geben, hat er sich dann
ausführlich mit Abbruchbedingungen befasst. Von der "Bombe"
herkommend, waren die natürlich fundamental.
Ein Ergebnis habe ich noch präsent : ein Prozess kann niemals
entscheiden, ob ein anderer endlich ist. Ein Programm also, das alle
Programme stoppt, die auf einer Endlosschleife basieren, kann es
nicht geben.
Gruß Artur