 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
¨ |
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
|
|