我正在尝试学习如何构建高级语言流结构，并偶然发现了一篇学术论文，该论文提出了一种在没有 s 的情况下构建 cfg 的新方法。goto 我有点难以理解一些基本的东西，即如何在当前过程中识别区域 cfg...