Eigenschaften eines Algorithmus (determiniert vs.. deterministisch)

[laxla123]

Die Lösung meint deterministisch und partiell korrekt.

1. Ich hätte gesagt dass er determiniert ist und wegen boolean nicht deterministisch sein kann...
2. Warum ist er partiell korrekt ? Ich verstehe die Definition, aber wäre dann nicht jeder Algorithmus partiell korrekt?!
(3. Der Algorithmus terminiert oder?)

 

[laxla123]

Hilfe ich werde noch wahnsinnig😭

 

[KonradN]

Geh das doch einfach einmal systematisch an:

a) Was macht der Algorithmus? Was passiert, wenn test2 aufgerufen wird? Ich denke, dass ist der erste Schritt.

b) Dann geh jeden Begriff durch und sag genau, was er bedeutet:

b1) Was bedeutet determiniert?

b2) Was bedeutet Korrektheit? Was sind da die Voraussetzungen? Daraus ergibt sich dann auch die Frage: Ist es nicht entscheidbar? Partiell korrekt? Korrekt? Aber erst musst Du wissen, was es bedeutet und dann kannst Du das entscheiden.