试画出下面四条语句的前趋图： Sl:a=x+y; S2:b=z+1; S3:c=a-b; S4:w=c+1; 并使用PV原语实现该前驱关系。请帮我完成题目要求给出答案

要画出给定的语句前趋图（也称为控制流图），我们可以按照顺序列出每个语句以及它们之间的依赖关系。在这个例子中，前趋图会显示每个语句（S1-S4）如何影响后续语句的执行。

前趋图如下：

     +-------------------+
     |                   |
     |       S1: a = x + y |
     |                   |
     v                   v
   +-----+            +-----+
   |      |            |      |
   | S2: b = z + 1    | S3: c = a - b |
   |      |            |      |
   +----> v            +----> v
         |             |
         |             |
         v             v
     +--------+        +--------+
     |               |        |
     |       S4: w = c + 1   |
     |               |
     +--+

现在，我们将这些关系转换成PV (Precedence- and Visibility-Graph) 原语：

P(S1) = { }
P(S2) = { S1 }
P(S3) = { S1 }
P(S4) = { S2, S3 }

V(S1) = { S1 }
V(S2) = { S2 }
V(S3) = { S3 }
V(S4) = { S4 }

在这里，`P(X)` 表示操作 `X` 的直接前驱（predecessors），而 `V(X)` 表示操作 `X` 可见的其他操作（即 `X` 可以访问到的变量）。在PV原语中，每个操作都是一个节点，边代表前驱关系。