Kein Algorithmus

[l0dsb]

warlord_7

Sage uns doch, was du unter Korrektheit eines Programmes verstehst - der Begriff kann mehrere Bedeutungen haben, was hier wohl für Verwirrung sorgt.

Es wäre hilfreich, wenn du deine Vorstellung von "Korrektheit" spezifizieren könntest, z. B. durch ein Beispiel von einem korrekten und einem nicht korrekten Programm.

nexos

Bitte den Beitrag das nächste Mal etwas sachlicher gestalten.

[-[RiDER]-]

Frage:Gibt es einen Algorithmus der die Programme nach Korrektheit testen kann?

Ja, jeder Compiler kennt ihn. Ohne ihn wäre das Kompilieren von Quellcodes nicht möglich!
(Ich glaube dass es um die logische Korrektheit eines Programms geht, aber das ist nur eine wage Vermutung, die ich nicht belegen kann.)

GreetZ RiDER

[zao]

Das wäre auch meine Antwort gewesen, nur ich glaub er weiß selbst nicht was er wissen will.