This means that the resulting system state is in G, unless in the meantime, j has moved out of the set U R U F. But if it has, then j has obtained its second fork and gone to L, which suMces. D
Điều này có nghĩa rằng hệ thống nhà nước kết quả là Son, trừ khi cùng lúc ấy, j đã di chuyển ra khỏi thiết lập U R U F. Nhưng nếu có, sau đó j đã thu được ngã ba thứ hai của mình và đi đến L, suMces mà. D
Điều này có nghĩa rằng các kết quả trạng thái hệ thống là trong G, trừ khi trong khi chờ đợi, j đã chuyển ra khỏi bộ URU F. Nhưng nếu nó có, sau đó j đã thu được ngã ba thứ hai của mình và đi đến L, mà suMces. D