אנגלית ⇄ סינית +

steady-state weak loop invariant
.טכנול	稳态弱循环不变式