唯一的问题,用程序来写,是这个法存在着这个循环漏洞:
A: If (Solid Red & Not Turning)
1, Stop
2, Hold in position until indicated to move
Else If (Solid Red & Turning)
B:这里有个无限循环,因为B里要求先满足A条件,但是A的至少一种解释是排除了B,所以才有上面这个 Else If.
下面是进了这个Else If 逻辑后,永远走不到的:
If (Safe)
Go
Else
Hold until indicated to move
End If
Else
Green,Yellow, Flashing Red,Flashing Yellow,OR No Light
End if