求两个数a和b的最大公约数。分别用流程图和NS流程图表示

求两个数a和b的最大公约数（Greatest Common Divisor, GCD），常用算法有欧几里得算法，也称为辗转相除法。以下是简单的步骤：

1. 如果b等于0，那么最大公约数就是a。
2. 否则，计算a除以b的余数r。
3. 将b赋值给a，将r赋值给b，然后回到步骤1。

流程图示例（伪流程）：

开始
| |
V V
输入 a, b
如果 b = 0
   |     结束
   V     返回 a (作为最大公约数)
否则
   |     计算 r = a % b
   V     转至步骤2
步骤2
| |
V V
输出 r
| |
V V
更新 a = b
更新 b = r
转至步骤1

对于NS（Notation System）流程图（一种类似于数据流图的符号系统），它会使用特定的形状和连线来表示操作和数据流动。以下是NS流程图的一个例子：

+--+
|      输入a, b         |
+--------> A ------------|
                 |
            +------------+
            | Modulo     |
            v            |
        +--+
        |           |
        v           |
   +---------+-------+
   |  Update a->b   |
   +---------+-------+
   |           |
   v           |
   +---------+-------+
   |  Update b->r |
   +---------+-------+
   |  若 b ≠ 0   |
   |      是       |
   V              V
   +---------+-------+
   |  重复步骤2 |
+-----------------------