我有一个非常丑陋的旧程序来尝试组织/美化。几千行，几十个标签和大约 100 个 goto。goto 大约一半向前一半向后。它们在各个方面都重叠，甚至有一些经过计算的 goto 和一些 case 语句从他们的几个案例中随意喷出 goto 的内容。我可以说程序没有做的唯一坏事是分支到 thens、elses 或 case。它向后使用条件分支而不是循环，但其中许多都在 case 语句中。
我记得可能在 40 或 50 年前证明，如果有循环和 if-then-else（更不用说案例），则不需要 goto。问题是：是否有任何可管理的算法或规则集可以手动或通过计算机来遵循，以完成证明证明可能的事情，即将意大利面条翻译成合理可读的代码，而大部分 goto 都消失了？