③ Dijkstra选择结构的非确定性 ifBl→S1 口B2→S2 口B3→S3 口BN→SN 其中,Bi是布尔表达式,称为卫哨。若有 多个卫哨为真时执行任Si③Dijkestra选择结构的非确定性 if B1→S1  B2 →S2  B3 →S3 …...  BN →SN 其中，Bi是布尔表达式，称为卫哨。若有 多个卫哨为真时执行任一Si