問答題

假如有以下程序段，回答下面的問題。
S1： a=3-x；
S2： b=2*a；
S3： c=5+a；

利用Bernstein 條件證明，S1、S2和S3哪兩個(gè)可以并發(fā)執(zhí)行，哪兩個(gè)不能。

參考答案： R（s1）={x}，W（s1）={a}；R（s2）={a}，W（s2）=；R（s3）={a}，W（s3）={c}；...