Opgave Semantiek en Logica 1
advertisement
Opgave Semantiek en Logica 1 1. We breiden de taal While uit met een for-constructie zoals in Java en C. Een for-statement ziet er als volgt uit. for(S1 ; b; S2 )S3 Zo’n statement wordt uitgevoerd door eerst S 1 uit te voeren; vervolgens wordt herhaaldelijk S3 gevolgd door S2 uitgevoerd totdat b niet meer waar is. Voorzie het for-statement van een formele semantiek in de stijl van natuurlijke semantiek (ns).
