画出下列伪码程序的程序流程图和盒图。 START IF p THEN WHILE q DO f END DO ELSE BLOCK g n END BLOCK END IF STOP

这个伪代码描述了一个基本的控制结构，包含一个条件判断、循环和两个分支。以下是对应的程序流程图和盒图说明：

**程序流程图：**
1. 从START开始（圆角矩形，表示程序开始）
2. 有一个IF...THEN分支，判断条件p是否成立。箭头指向条件判断（菱形形状，代表条件检查）
3. 如果条件p为真（True），则进入WHILE循环，继续步骤4；如果p为假，则跳转到ELSE分支的BLOCK（虚线连接）
4. 在WHILE循环内部，有一个条件q作为循环条件，当q为真时，执行f操作（可能是一个过程或函数），然后返回到循环顶部检查q。循环会一直运行直到q变为假，跳出循环（圈内的向内箭头表示循环体）
5. 当q为假时，退出WHILE循环，然后按照箭头走向ELSE分支的BLOCK（虚线连接）
6. ELSE分支下有一个BLOCK，包含操作g和n。这两个操作会在这里依次执行（通常用单独的方框表示每个操作）
7. 从ELSE分支的END BLOCK出发，回到IF...THEN的结束位置（实线连接）
8. 结束IF判断后，程序流程到达STOP，表示程序结束（另一个圆角矩形）

**盒图（Structured English或Pictorial Notation）：**

+--------+
| START |
+--------+
       |
 v      |
[IF]    |
 +-------v-------+
 |            |
 +-------->---+
              |
v           |
[p]?         |
 +--------v-------+
 | WHILE  [q] DO |
 |        +--------+
 |        |        |
 v        V        |
[f] -> ...-> [q]?
 +--------v-------+
 |            |
v           |
 +-------->---+
              |
v           |
 ELSE       |
 +--------^-------+
 |          |     |
v          V     |
[BLOCK]    g     n
 +--------+-----+
 | END IF |
 +--------+
        |
v       |
[STOP]   |
+--------+