Allen描述了他的形式化系统，其目的在于提高效率。

Allen describes his formalized system for creating greater efficiency.

youdao

分布式操作系统形式化系统模型DOSFS主要由文法DOSFSG和语义DOSFSS两部分组成。

Distributed Operating System Formal System Model (DOSFS) consists of the grammar DOSFSG and the semantics DOSFSS.

youdao

形式语用学是以语用为研究对象的一种形式化理论形态，因而包含着理论主体的语用学取向和形式化系统的选择。

As the formal study of language use, formal pragmatics involves the pragmatic orientation and choice of formal approach.

youdao