一个控制流程图就是具有 ＿＿的有向图。