试写出相应的程序来描述教材图 2-14 所示的前驱图。

伪代码如下: semaphore a,b,c,d,e,f,g=0,0,0,0,0,0,0; p1(){S1; signal(a); signal(b); }; p2(){ wait(a);S2; signal(c); signal(d); }; p3(){ wait(b);wait(e);S3; signal(g); }; p4{ wait(c);S4; signal(f); }; p5{ wait(d); S5; signal(e); }; p6{wait(f);wait(g);S6; };