DDA-Algorithmen

Die vorgestellten Algorithmen heißen DDA-Algorithmen (digital differential analyser).

Prinzipielle Form:

 
Initialisierung;

while( Bedingung==TRUE ) {

  Aktion;

  if ( Entscheidung ) {

     Inkrementelle diese Bedingungsaktualisierung;
     Inkrementelle diese Entscheidungsaktualisierung;
  }
  else {

     Inkrementelle jene Bedingungsaktualisierung;
     Inkrementelle jene Entscheidungsaktualisierung;
  }
}

Unter Umständen taucht der else-Fall nicht explizit auf (wie in den obigen Beispielen), da die Operationen auch im then-Fall durchgeführt werden müssen.

Korrektheitsbeweise z.B. durch Induktion.