程序流程图到控制流程图

### 将程序流程图转换为控制流程图

在软件工程中，程序流程图(Program Flowchart)主要用于描述程序执行的具体路径和逻辑结构，而控制流程图(Control Flow Graph, CFG)则更侧重于表示程序中的基本块及其之间的控制转移关系。

#### 基本概念定义

- **程序流程图**：图形化展示算法或过程的工作方式，使用标准化符号来代表不同的操作以及这些操作间的顺序连接[^1]。

- **控制流程图(CFG)**：由节点(通常称为基本块)组成，每个节点内含有一系列连续的指令序列，在该序列内部不存在跳转语句；边表示可能存在的控制流方向。CFG有助于分析循环、条件分支等结构性特征。

#### 转换原则

为了有效地将程序流程图转化为控制流程图：

- 找到所有的入口点作为起始节点；
- 对应每一段线性的代码创建一个新的基本块；
- 当遇到决策点（如if/else），分裂当前的基本块并建立新的子路径；
- 使用箭头指示从一个基本块到另一个的可能性流动路线；
- 合并共同的目标位置形成汇合点；
- 处理异常处理机制和其他特殊控制结构。

#### 实际案例说明

假设有一个简单的C语言函数用于计算两个整数的最大公约数(GCD)，其对应的伪代码如下所示：

int gcd(int a, int b){
    while (b != 0){
        if(a > b)
            a -= b;
        else
            b -= a;
    }
    return a;
}

对于上述代码片段可以构建相应的程序流程图，之后按照前述的原则逐步将其转变为控制流程图形式。具体来说就是识别出各个基本块，并依据实际的控制流转情况绘制合适的链接线条。

---