将含多GOTO的FOCAL转为无GOTO语言：能否算法解析多分支IF？

能否通过算法完成“消除面条化”？ #

可以，但有适用范围，绝大多数符合常规编程逻辑的FOCAL代码都能通过算法完成结构化转换。

FOCAL的三元IF本质是带三个分支的定向跳转，核心是把基于行号的GOTO式控制流，转换为结构化控制结构，这依赖**控制流分析（CFG）**技术：

• 先为整个程序构建控制流图，每个节点对应一行代码，边代表代码的执行顺序（包括顺序执行、IF分支的跳转）；
• 对每个IF的三个分支，分别追踪目标行开始的代码路径：
  • 如果路径是顺序执行的代码直到QUIT，直接嵌入对应分支块；
  • 如果路径遇到其他IF语句，递归处理该IF的分支，嵌套到当前结构中；
  • 如果路径跳转回已处理过的代码行，识别为循环结构（while/for），把循环逻辑提取出来替换跳转。

这是否属于已知无解的软件问题？ #

不属于。只有当程序存在非结构化控制流时，才无法用标准的if/else/while/for完全表达——比如交叉嵌套的跳转（比如从多个不同代码块跳转到某一行的中间位置，或者形成无法用单入口单出口结构包裹的跳转）。但这种极端情况在实际的FOCAL程序中很少见，且即使遇到，也可以通过带标签的break/continue或者有限的结构化扩展来处理，并非完全无解。

结构化程序设计理论早已证明：只要程序是单入口单出口的代码块，就可以转换为纯结构化控制结构。FOCAL的三元IF本身是单入口的，只要跳转逻辑不破坏单出口的特性（比如没有从多个分支跳转到同一出口外的代码），就能完成转换。

如何判断何时停止加载输入代码行？ #

核心是通过可达性分析追踪分支的边界：

• 当追踪某分支的代码路径时，遇到QUIT命令，直接终止当前分支的代码收集；
• 当路径跳转到当前分支范围外的代码行（比如跳转到其他IF的分支、或者程序的全局入口），则停止收集当前分支的代码，把跳转逻辑转换为对应的结构化控制（比如如果是跳转到循环入口，就包裹为循环；如果是跳转到其他分支，就调整结构）；
• 当路径遇到递归的IF语句，先处理嵌套的IF，再把结果嵌入当前分支的代码块中，直到嵌套的分支也终止于QUIT或跳出边界。

转换示例 #

原FOCAL代码：

1.0: IF (x-5) 3.1, 4, 6.2
3.1: PRINT "X is less than 5"
3.2: QUIT
4: PRINT "X equals 5"
4.1: QUIT
6.2: PRINT "X is greater than 5"
6.3: QUIT

转换后的结构化代码：

if (x - 5 < 0) {
    printf("X is less than 5");
    quit();
} else if (x - 5 == 0) {
    printf("X equals 5");
    quit();
} else {
    printf("X is greater than 5");
    quit();
}

若嵌套IF语句，比如原代码行3.2为：

3.2: IF (y) 7, 8, 9
7: PRINT "Y is negative"
7.1: QUIT
8: PRINT "Y is zero"
8.1: QUIT
9: PRINT "Y is positive"
9.1: QUIT

则转换后会把嵌套IF嵌入第一个分支：

if (x - 5 < 0) {
    printf("X is less than 5");
    if (y < 0) {
        printf("Y is negative");
        quit();
    } else if (y == 0) {
        printf("Y is zero");
        quit();
    } else {
        printf("Y is positive");
        quit();
    }
}
// 其他分支省略

内容的提问来源于stack exchange，提问作者Carl Witthoft