对输入的两个正整数a和b求最大公约数，并画出NS图和流程图

计算两个正整数的最大公约数（Greatest Common Divisor，简称GCD）通常可以使用欧几里得算法，也称为辗转相除法。基本思路是利用辗转相除原理，即两个整数的最大公约数等于其中较大数除以较小数余数的最大公约数。

以下是步骤简化版的NS（Notation System，记号系统）图示：

+------------------------------------------------+
|          a (大)     b (小)               |
+-------+-------+-----------------------------+
|       / \           |                            |
|      /   \          v                            |
| GCD = a % b       如果 b == 0，则返回 a        |
+-----------------------------------------------+

如果 `b` 等于 0，那么最大公约数就是 `a`；否则，我们继续用 `a` 除以 `b` 的余数 `a % b` 作为新的 `a`，原来的 `b` 变成新的 `b`，然后再次进行这个过程，直到 `b` 变为 0。

下面是简单的流程图表示：

开始
|
V
输入 a 和 b
while b ≠ 0 do
    计算 r = a % b
    a <- b
    b <- r
end while
输出 a （此时 a 就是最大公约数）
结束