前驱图是一个有向无循环图 ,简称DAG (Directed Acyclic Graph).图中每个结点表示一个语句,一段程序或一个进程,从结点Si到结点Sj的有向边表示它们的前趋关系,记为Si→Sj,即Si和Sj应顺序执行,Sj仅在Si执行完成后才能开始执行.