A. 前趋图是一个有向无循环图

B. 图中的每个结点可用来表示一个进程或者程序段或者一条语句

C. 结点间的有向边则表示两个结点之间存在的前趋关系

D. 前趋图中的所有结点都有前趋结点和后继结点