Einige Begriffe:
¨ Sequentialität
¨ Parallelität
¨ Kollateralität (sequentiell & parallel)
ª Termination
· terminierender Algorithmus kommt in endlich vielen Schritten zum
Ende
ª Determinismus
· derterministischer Algorithmus besitzt eindeutig vorgeschriebenen
Verlauf
ª Determiniertheit
· derterminierter Algorithmus führt zu eindeutigem Ergebnis
· derterministischer Algorithmus ist immer determiniert (verkörpert
also eine Abbildung)
· nicht-derterministischer Algorithmus ist bisweilen determiniert