正规

Topics covered include: finite automata and regular languages, context-free languages, Turing machines, partial recursive functions, Church's Thesis, undecidability, reducibility and completeness, time complexity and NP-completeness, probabilistic computation, and interactive proof systems.

课程项目包含：有限状态机与正规语言，情境无关语言，Turing机，部分递回函数，Church理论，不可判定性，可简化性与完整性，时间复杂度与NP-完整性，或然率计算，与交互验证系统。译注：Turing machine 一般译作"图灵机"或"图林机"，本课程依据专有名词保留原则，一律译为Turing机。

In undeveloped social groups, we find very little formal teaching and training.

在欠发达社会中，我们很少发现正规的教育或培训。

In either case of g ∈ C^2 or gC^2, this paper proposes a convenient method for building a T-S fuzzy system and gives a loose sufficient condition of its approximation ability, when the fuzzy sets are uniformly distributed, continuous and normalized.

本文在逼近函数g∈C^2及gC^2两种情况下给出了一种当模糊集满足均匀性、连续性、正规性条件下T-S模糊系统的构造方法以及该T-S模糊系统逼近能力的充分条件。该构造性方法简单易行且其逼近能力充分条件的保守性低。

In either case ofg∈C2 or gnot∈C2, this paper proposes a convenient method for building a T-S fuzzy system and gives a loose sufficient condition of its approximation ability, when the fuzzy sets are uniformly distributed, continuous and normalized.

本文在逼近函数g∈C2及g不∈C2两种情况下给出了一种当模糊集满足均匀性、连续性、正规性条件下T-S模糊系统的构造方法以及该T-S模糊系统逼近能力的充分条件。

For example, U-space is uniformly regular and which makes it has fixed point property, U-space is uniformly non-square and thus super-reflexive, uniformly convex space and uniformly smooth space are U-spaces, and an Banach space is an U-space iff its dual space is U-space, etc. In1990s, a lot of work had been done on U-space theory, e.g., Tingfu Wang and Donghai Ji introduced the concepts of pre U-property and nearly U-property. Under the structure of Orlicz space, they made systematic investigation of these properties, and gave the criteria for an Orlicz space to have U-property.

U-空间具有一致正规结构进而具有不动点性质；U-空间是一致非方的，进而也是超自反的；一致凸空间和一致光滑空间是U-空间；Banach 空间为U-空间的充要条件是其对偶空间为U-空间，等等。20世纪90年代，国内外学者对U-空间理论做了很多工作，王廷辅，计东海等人先后引入了准U-性质与似U-性质的概念，并在Orlicz空间框架下对有关性质进行了系统研究，完整给出了Orlicz空间具有各种U-性质的判据。

We also proved corresponding results on normal functions and a uniqueness theorem of entire functions.

此外，还证明了相应于正规函数以及整函数的唯一性定理方面的的结果。

In Chapter Ⅲ, we introduce some special case of Unitary groups, and give out the normality of the elementary group of hyperbolic Unitary group.

在第三章中，本文介绍了几类特殊的酉群和双曲空间上酉群U_(2n)的基本子群的正规性定理。

Names of entities in the universe of discourse e.g.

正规一些，我们可以说本体是对逻辑理论的阐述。

He may also need professional help or a qualified anger management class to help him unlearn these behaviors.

他还需要专家帮助或参加正规愤怒管理班来帮助自己去掉这些习惯。

Although some consumers tend to use the cheap unoriginal auto parts, the original auto parts are gaining more and more chance and market shares in the market, and is developing to the dominant part.

尽管一些消费者倾向于使用廉价的非正品零配件，但正规的零配件市场仍很有前景，并正在赢得更多的机会和份额，逐步成为主流。

They weren't aggressive, but I yelled and threw a rock in their direction to get them off the trail and away from me, just in case.

他们没有侵略性，但我大喊，并在他们的方向扔石头让他们过的线索，远离我，以防万一。

In slot 2 in your bag put wrapping paper, quantity does not matter in this case.

在你的书包里槽2把包装纸、数量无关紧要。