if all reachable state are target s

if all reachable state are target states

ผลลัพธ์ (ไทย) 1:

หากรัฐสามารถเข้าถึงทุก เป้าหมายอเมริกา

ผลลัพธ์ (ไทย) 2:

ถ้าทั้งหมดที่สามารถเข้าถึงได้รัฐเป็นรัฐเป้าหมาย