Come esprimere     if  C  then  I1  else  I2     tramite la struttura    while...do...

if  C(x)  then  I   <->
     xausiliaria := x ; while  C(x)  do  ( I ; x := xfalsificanteC ) ; x := xausiliaria

if  C  then  I1 else I2    <->     if  C  then  I1 ; if   not C   then  I2

quindi :

 if  C  then  I1 else I2    <->

 xausiliaria := x ; while  C(x)  do  ( I1 ; x := xfalsificanteC ) ; x := xausiliaria ;
 while  not C(x)  do  ( I2 ; x := xverificanteC ) ; x := xausiliaria 

 Come esprimere  while  tramite  if 

while  C  do  I     <->    label := ( if  C  then  ( I ; label ; )  )