深度小于n的跳出来实现。Kosaraju称这种多层次跳出结构源于语言。BLISS语言中的多层次跳出形式为codice_5，实际上在BLISS-11版本中才引入到BLISS中，原始的BLISS只有单一层次的跳出。BLISS语言家族不提供无限制的跳转指令，Java语言后来也引入类似BLISS语言中的多层次跳出指令。Kosaraju的论文中有另一个较简单的结论：若程式可以在不用额外变量（及多层次的跳出）下化约为结构化程式，其充份必要条件是程式中没有一个回圈有二个或二个以上的结束点。简单来说，此处Kosaraj