其结构的正式格式如清单 6 所示。

The official format of the structure is shown in Listing 6.

youdao

验证器的架构文件的格式是经过预先设计的，以便从一个正式规范创建架构成为一个简单任务。

The format of schema files for the validator was designed so that it is a simple task to create from a formal specification.

youdao

exi格式使用一种源于信息和正式语言理论的混合方法以及经过测量验证的实践技术对XML信息进行熵编码。

The EXI format USES a hybrid approach drawn from the information and formal language theories, plus practical techniques verified by measurements, for entropy encoding XML information.

youdao