Perfect Aspect, Progressive Aspect, and Their Formalization.

完成体，进行体，及其形式化。

Too much formalization has always been influencing the teaching of mathematics.

数学的过于形式化一直影响着今天的数学教育。

The formalization of numerals in Russian has to be flexibly dealt with in translation.

俄语中数词“虚用”现象的翻译应采取灵活的方法。

The requirements of formalization for automated software testing can be met by the method.

这样的形式描述方法满足软件测试自动化对形式描述的要求。

It is the identity of space relationship that results in the identity of space formalization.

正是这种统一的空间关系导致了空间形式的发生。