给出定义
_
дать определение
примеры:
验证协议的程序，它从一个给定的初始状态机械地产生出一切可以到达的状态，并且审查每一状态下用户定义的条件的有效性。
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.
пословный:
| 给出 | 出定 | 定义 | |
предоставить, вынести, давать (ответ); предоставление; выражение (протеста)
|
научное определение, формулировка, объяснение, дефиниция, определение; определять, дать определение
|