在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
参考资料：
百度百科-直到型结构
百度百科-当型循环
“当型”：while(条件){.....}当满足条件成立时才执行{ }中代码，不成立则不执行；是先判断后执行的。“直到型”do{......} while(条件)
先执行{
}中代码，再判断条件是否成立，成立则跳出循环，否则继续循环，是先执行后判断的
最重要的特征就是:当型循环，while(条件){.....} 是可以出现不执行代码的情况的，直到型循环，do{......} while(条件)
是绝对执行一次以上的，不会出现不执行代码的情况（你代码写错时除外）。。
