在WHILE（當型）語句中，是當條件滿足時執行迴圈體；而在UNTIL（直到型）語句中，是當條件不滿足時執行迴圈體。

1、當計算機遇到WHILE語句時，先判斷條件的真假，如果條件符合，就執行WHILE與WEND之間的迴圈體；然後再檢查上述條件，如果條件仍符合，再次執行迴圈體，這個過程反覆進行，直到某一次條件不符合為止。

這時，計算機將不執行迴圈體，直接跳到WEND語句後，接著執行WEND之後的語句。因此，當型迴圈有時也稱為“前測試型”迴圈 。

2、直到型迴圈又稱為“後測試型”迴圈，從UNTIL型迴圈結構分析，計算機執行該語句時，先執行一次迴圈體，然後進行條件的判斷，如果條件不滿足，繼續返回執行迴圈體，然後再進行條件的判斷。

這個過程反覆進行，直到某一次條件滿足時，不再執行迴圈體，跳到LOOP UNTIL語句後執行其他語句，是先執行迴圈體後進行條件判斷的迴圈語句。

擴充套件資料：

1、直到型結構

三要素

直到型結構的三要素為迴圈體、迴圈變數、迴圈終止條件。一個完整的直到型迴圈結構這三要素缺一不可。

格式

直到型結構（UNTIL）格式如下 ：

Do

Loop until

先執行迴圈體語句組，執行到Loop語句時測試迴圈終止條件，當迴圈條件為False 時繼續執行迴圈體語句組，直至迴圈終止條件改變為True時終止迴圈。

流程圖

流程圖如下：

UNTIL迴圈是先執行迴圈體，然後判斷條件是否成立，如果條件不成立，返回DO語句處重新執行迴圈體，若條件成立，則退出迴圈。直到型迴圈結構的程式執行時，迴圈體至少被執行一次。

2、當(while)語句

當語句的語法格式是： while 布林表示式 do 語句

其作用是，當布林表示式的值為 TRUE時，才會執行語句序列（迴圈體），否則迴圈將不會被執行，即從迴圈頭部就退出，而轉向執行 END後的語句。

當語句的語法格式是： while 布林表示式 do 語句 begin 　語句序列；（迴圈體） end;

數學人教版A版高一必修三課本中給出的格式為：

WHILE 條件

迴圈體

WEND

參考資料：