A.S(S#,Sn,Sd,De,Sa)
B.C(C#,Cn,P#)
C.SC(S#,C#,G)
D.不存在
A.S#→Sd
B.S#→Sd,(S#,C#)→G
C.S#→Sd,Sd→Dc
D.C#→P#,(S#,C#)→G
A.R1(C#,Cn,T),R2(T,Ta)
B.R1(C#,Cn),R2(T,Ta)
C.R1(C#,Cn,Ta),R2(T,Ta)
D.R1(C#,T),R2(T,Ta)