while (CONDITION),
BODY,
endの形をしている。CONDITIONには比較関係などが入り、while文はまずこれの 真偽をテストする。これが真であると BODYが実行される。BODYの実行 が終了すると、while文は再びCONDITIONをテストする。これが真であれば BODYを実行する。これをCONDITIONが偽になるまで繰り返す。偽であるとには BODYを実行しない。例を示そう。
-->n=3;
-->s=0;
-->while n >= 0, s=s+n, n=n-1, end
s =
3.
n =
2.
s =
5.
n =
1.
s =
6.
n =
0.
s =
6.
n =
- 1.