|
A program for a play contains a list of the actors' names and other information about the play.
|
|
|
一出剧的节目单包括演员表和与该剧有关的其他情况。 |
|
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.
|
|
|
验证协议的程序，它从一个给定的初始状态机械地产生出一切可以到达的状态，并且审查每一状态下用户定义的条件的有效性。 |
|
A program in execution, a process is an active entity, which can cause things to occur, as opposed to a program, which is a passive entity.
|
|
|
一种正在执行中的程序，是一种活着的实体，能引起事件的发生；而程序是被动的，处于静止状态。 |
|
A program is a specific set of instructions written by one or more people, which direct the action of a computer system.
|
|
|
一个程序就是一组指令的集合，由一个或多人编写，用于指导计算机系统的动作。 |
|
A program may access memory within a valid block buffer.
|
|
|
一个程式可以存取在正确的区块缓冲区中的记忆体. |
|
A program may be such that the sequence of program events or program edits can be over-ridden by the operator.
|
|
|
程序可能出现下列情况，程序事件的顺序或程序编辑可以被操作员强行越权处理。 |
|
A program may be written in such a manner as to reject or alter certain input or output information which does not conform to some pre-determined criterion or otherwise fall within certain pre-established limits.
|
|
|
以编辑的方式写程序，使之拒绝或改变输入或输出信息，这些信息不符合某些预确定的标准或者属于预设定的限制。 |
|
A program of gymnastic competition consists of the horizontal bar, parallel bars, pommel horse, vaulting horse, rings and floor exercise events for men and the balance beam, uneven parallel bars, vaulting horse, and floor exercise events for women.
|
|
|
男子体操比赛项目包括单杠、双杠、鞍马、跳马、吊环和自由体操；女子项目包括平衡木、高低杠、跳马和自由体操。 |
|
A program or group of programs designed for end users.
|
|
|
一个或一组为最终用户设计的程序。 |
|
A program or other coding sequence that produces a result of specified type and format(a macro generator;a microcode generator).
|
|
|
产生某种指定类型和格式的结果的程序或另一种编码序列（如“宏生成程序”、“微代码生成程序”）。 |
|
A program shall not attempt to nest compilation of definitions.
|
|
|
一个程式必须不能尝试巢状编译定义. |
