| Gb | Eng |
|---|---|
| 宇宙是从一个本来就存在著的球体中产生出来的. | The universe was created out of a primordial ball of matter. |
| 验证协议的程序，它从一个给定的初始状态机械地产生出一切可以到达的状态，并且审查每一状态下用户定义的条件的有效性。 | A program for protocol verification which mechanically generates all states reachable from a given initial state and checks the validity of user defined conditions in each state. |