Diskussion:Programmäquivalenz

aus Wikipedia, der freien Enzyklopädie
Dies ist die aktuelle Version dieser Seite, zuletzt bearbeitet am 29. Februar 2012 um 07:49 Uhr durch imported>Arilou(215940) (Compiler?).
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

Beweis, Satz von Rice

// ich wüsste aber zu gerne, wer das zuerst bewiesen hat, und wann.
// kann man das aus dem Satz von Rice herleiten?
// übrigens schade, dass es für den Berechenbarkeitstheoretiker Rice noch keinen Eintrag gibt (Kommentar von 130.83.244.131 von der Artikelseite hierher verschoben) --Zinnmann 18:13, 4. Aug 2004 (CEST)

Ja, das folgt aus dem Satz von Rice. Danke für die Idee, um den Artikel muss ich mich irgendwann mal kümmern. -- Tian 20:49, 22. Mär 2005 (CET)

Compiler

Sollten hier auch die Compiler erwähnt werden? Die machen doch nix anderes als ein Programm in einer Sprache in ein Programmäquivalent in einer anderen zu transformieren, richtig? --arilou 08:49, 29. Feb. 2012 (CET)