直到循环和当型循环程序流程图

### until 和 while 循环的程序流程图

#### Until 循环
Until 循环是一种直到型循环，在每次迭代结束时测试条件表达式。如果条件为假，则继续执行循环体内的命令；一旦条件变为真，循环终止。

流程描述如下：

1. 执行循环体内的一组命令。
2. 测试条件表达式的真假。
3. 如果条件为假，返回第1步重复执行。
4. 若条件为真，退出循环并继续执行后续代码。

对应的伪代码表示可以写作：

until condition; do
    command1
    command2
done

#### While 循环
While 循环则是在每次进入新轮次之前先评估给定的布尔表达式。只有当此表达式的结果为真的时候才允许执行循环内部的操作序列；反之，若一开始即判定为假，则跳过整个循环部分直接往下走。

具体过程如下：

1. 判断条件表达式的真假。
2. 如果条件为真，执行循环体中的指令集。
3. 返回重新检测初始位置处设定的那个逻辑命题的状态。
4. 当某一轮过后发现前提不再满足（即转成‘否’），便离开该层嵌套进而处理其他待办事项。

相应的语法形式为：

while condition; do
    command1
    command2
done

为了更直观地理解这两种不同类型的循环机制之间的差异，以下是它们各自的简化版流程图表展示方式[^1]。

对于 **Until** 类型来说，图形化呈现会像这样：

+-----+
|                   |
v       否          | 是
+--------+------+   v
|        |      |  结束
| 命令列表|<-----+
|        |      
+--------+------+
         ^
         |
     开始/再次尝试

而针对 **When (While)** 形态而言，其可视化布局可能是这样的：

           +-------+
           |       |
           v       | 否
+---------+ 条件? +----------+
|                  ^         |
|                 是         |
|                             |
v                             v
+-------------+        +--------------+
|             |        |              |
|  命令列表    |<----->| 继续检查条件  |
|             |        |              |
+-------------+        +--------------+

通过上述对比可以看出两者的主要区别在于何时以及如何决定是否应该继续运行循环主体的内容。