By this algorithm, Z language can also describe the temporal relations easily.

• 利用这一算法 ；Z语言也能方便地描述时序关系 .