下面是用 PDL 写出的程序，请画出对应的 N - S 图 s1; if ( x <=5) s2; i :=1; while ( i >=3) } s3; i := i + i ; if ( y <0) s4; else s5;

基于您提供的PDL（过程描述语言）代码，我们将其转换成控制流程的流程图（N-S图，也称为流程流程图）。下面是这个程序的基本结构：

                   ┌──────────┐
                  /            \
                 /              \
                s1               |
                     ┌──────┐  |
                     |  if  |  v
                     |  x<=5|  |
                     └──────┘  |
                               |
                               V
                       ┌─────────┐
                      /           \
                     /             \
                    s2             |
                     |              |
                     v              V
          ┌───────┐     ┌───────┐
         /        \   /        \
        i := 1      |  loop    |
         └───────┘     └───────┘
                        |              |
                        |  while i>=3  |
                        |              |
                        V              V
                      ┌──────────┐
                     /           \
                    /             \
                   s3             |
                    |              |
                    |  i := i+i  |
                    |              |
                    V              V
          ┌───────┐     ┌───────┐
         /        \   /        \
        i := i+i  |  if       |
         └───────┘     y<0      |
                         |         |
                         V         |
                        s4         |
                         |         |
                         v         |
                          ┌──────┐
                         /       \
                        |else     |
                        |         |
                        V         V
                         s5

在N-S图中：
- `s1` 是程序开始的位置。
- `if (x <= 5)` 分支后是条件判断，如果满足则进入`s2`。
- `i := 1` 是初始化操作，接着进入`while`循环，条件为`i >= 3`。
- 循环体内部有`s3`，即计算`i += i`。
- 结合`if`分支，如果`y < 0`，则执行`s4`；否则，执行`s5`结束。

注意，这个图是一个简化的版本，实际绘制时可能需要添加更多的细节，比如条件判断后的箭头分支、循环结束标记等。同时，N-S图通常需要专业的图形软件来完成绘制。