 前趋图（Predecessor Graph）是一个有向无循环图，图由结点和 结点间有向边组成，结点代表各程序段操作，而结点间的有向边表示两程序段操作之间存在的前趋关系（“→”）。两程序段Pi和Pj的前趋关系表示成Pi → Pj，Pi是Pj的前趋，Pj是Pi的后继。