生出 的中文句子和英文句子

验证协议的程序，它从一个给定的初始状态机械地产生出一切可以到达的状态，并且审查每一状态下用户定义的条件的有效性。

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.


怀特先生出版了一本并非人们所期待的博学的大部头，而是一本有争议的不是太好的小作品。正如这位妇女所说，我们对这很冷淡。

In place of the scholarly tome that many people expected of him, Mr White has produced a polemic, and not a very good one at that. As the woman said, we are not amused.


角豆荚角豆植物的豆荚，内含味甜可食的肉质部分以及种子，它们产生出一种胶，可用于食品中做稳定剂

The pod of this plant, containing a sweet edible pulp and seeds that yield a gum used as a stabilizer in food products.