那就是为什么我应该用数学的形式化公式，提供一个真实界的模式，这是我们用来产生意符意义的最先进的建构方法。
That is why I thought I should provide a model of it using mathematical formalization, inasmuch as it is the most advanced elaboration we have by which to produce signifierness.
引入了完备自动机作为定义命令分析器的一种抽象数学模型，并用该模型给出了命令分析器的形式化描述。
It also introduces perfect automata as an abstract mathematics model of defining the command analyzer. Besides, this paper gives formal description of the command analyzer of the model.
高中数学概念具有抽象化、形式化、系统化、简明化的特点。
The characteristics of mathematics concepts of high school are abstractness, formalization, systematization, conciseness.
利用形式化规格说明语言——B语言对软件需求进行了严格定义，在严格的数学基础上进行软件开发，以获得更好的软件性能。
The paper models software requirement in the form of formalized specification language b, develops software based on a precise mathematical framework in order to achieve better software performance.
我国教育界常常认为“数学推理”主要是指高度形式化的、抽象化的演绎推理。
The educational circle of our country is usually considered as "mathematical inference" which refers to the highly formalized and abstract deductive inference.
另一方面，目前仍旧缺乏一种能够支持过程定义、过程演进以及过程分析的形式化数学模型。
On the other hand, there still lack of a formal and mathematical model which is able to support the definition of process, process evolvement, process analysis.
本文主要讨论形式化在数学概念教学与解题教学方面的应用。
So it is right to say that studying maths is both to study a formalized language with a certain implication and to use this language to solve kinds of problems.
本文从现实世界中抽象出三类极大问题，给出了形式化的数学描述，并详细讨论了各自的算法和复杂度。
This paper abstracts three practical maximum problems from the real world and gives their formal mathematical descriptions. Their algorithms and complexity are fully discussed.
数学的过于形式化一直影响着今天的数学教育。
Too much formalization has always been influencing the teaching of mathematics.
引入形式化数学分析方法对DNC过程进行了分析。
Analysis method based on formalized mathematics is introduced to analyze DNC process.
形式化地定义了APN的数学结构，利用APN图形化的工具，形象地描述了定性映射。
APN mathematics structure is defined formally and Qualitative Mapping model can be described vividly by making use of the tool of the APN graphics.
以数学方法给出了工作流过程定义模型的形式化描述，并提出一种工作流自动化的实现模型，包括系统体系结构和数据库的设计。
The paper gives mathematical definitions of process defining model and an implementing model of workflow automation, including the system architecture and database design.
但数学家用一种特殊方式将这个形式化，他们所做的就是借由平行线的概念。
But mathematicians formalize this in a particular way. And what they do is, they do it through the concept of parallel lines.
第五章对比了常用软件测试方法，讨论了形式化方法的基本概念、数学预备知识和形式化规约语言。
Chapter five compares the method with the common software testing and discusses the concept, basic knowledge and language of FormalMethods.
第五章对比了常用软件测试方法，讨论了形式化方法的基本概念、数学预备知识和形式化规约语言。
Chapter five compares the method with the common software testing and discusses the concept, basic knowledge and language of FormalMethods.
应用推荐