查询词典 constructible set

But the image I'm pushing on is this: Can we prove that a finite set of functions generates this infinite set of possibilities?

而我要促进的想象是：我们能证明一组有限的功能会产生一组无尽的可能性吗？

"From now on I will consider language to be a set of senterces,each finite in length and constructed out of a finite set of elements."

"从现在开始，我要把语言看成是句子的集合，每个句子均有一定的长度，并由有限的成分集合所构成。"

You may set metal pot on the fire, but you cannot set it on fire.

你可以把金属制的锅放在火上烧，但是你不能使它着火燃烧。

He would start the fire, set the pot of water on top of the fire and then set the table.

他负责生火，将一锅子水放在火的上方，然后摆好餐桌。

Based on the hydraulic model test of Pudong north road pumping station in Shanghai, the hydraulic characteristics of the forebay were studied in the conditions of no diversion, the set-up of water-depressed plate and the set-ups of water-depressed plate and guide piers . Also, the hydraulic characteristic of the siphon outlet piping was studied.

本文结合上海市浦东北路泵站水力模型试验研究课题，从城市排污泵站布置的特点出发，研究和分析了前池在改善流态无工程措施情况下、设置压水板措施和设置导流墩和压水板组合措施情况下前池的水力特性；虹吸式出水管在虹吸形成过程和虹吸破坏过程的水力特性。

It extends txt2pdf, with features such as the ability to add form feeds, to skip the first form feed, to not print the file name in the first line, to set the top and left margins, and to set all the text to bold, italic, or bold italic.

它扩展了txt2pdf，带有的功能有：增加表单反馈，忽略第一个表单反馈，在头一行不打印文件名，设置顶部和左部边界，设置所有的文本为粗体、斜体，aksk或粗斜体。

Use Layer, Set Layer Properties, Set Layer Format, Protect Object, Protect Document, Introduction to ShapeSheet

图层的使用，设置图层属性，设置图层格式，保护对象，保护文档，ShapeSheet 简介

"Aura" is an experiment in translating Villa Foscari's Palladian design, which relies on a definite set of harmonic proportions, into a contemporary space whose elegance and dynamism is generated through a process defined by a non-linear set of rules elicited from Palladio's theories.

Aura是扎哈为威尼斯建筑双年展以及纪念帕拉第奥诞辰500周年而设计的。设计尝试将帕拉第奥设计的弗斯卡利别墅的融洽比例转化现代空间的优美且动感，符合帕拉第奥理论的非线性规则。

Using the method of approximating the Lipschitz functions by the convex functions, we give a sufficient condition for the set where Lipschitz functions on a Hilbert space are Frechet differentiable is a residual set.

我们利用Lipschitz函数空间中凸函数的逼近性质来分析Lipschitz函数的微分性质，得到Hilbert空间上Lipschitz函数的Frechet可微点集是剩余集的一个充分条件，以标题"Lipschitz函数与凸函数之间的一些联系"在中国科学杂志上发表。

Firstly, it's proved that the base of free monoid is unique, and that the equation of a base, a generating set and a irreducible generating set in the semigroup with length; Secondly, it's given the relation of a primitive word and a word of indecomposable--Let and is indecomposable, then is primitive ;And by using the length's method and chart,some properties of primitive word have been proved and the solutions of the equation , are discussed; Lastly, on the base of some proposition in Free monoids and Languages ,the proofs of some properties are improved by instruction. For example: Let be a primitive word over X, where .Then is a code. And let then if and only if {} is a code.

首先，讨论了含幺半群中基的基本性质及基与最小生成元集的联系，并给出了含幺半群中基、生成元集、不可约生成元集三者之间的关系；证明了在有唯一长度的半群S中，不可约生成元集、基、最小生成元集三者之间的等价关系；其次，讨论了字的组合与分解性，得出了字的本原性与不可分解性之间的关系---若为不可分解的，则一定是本原的，反之，不一定真；并运用图示法证明了字的可补性理论，讨论了方程，的可解性；在此基础上，用归纳法进一步证明了本原字与码的有关命题--若是X上的一个本原字，其中，则是一个码；若则当且仅当{}是一个码。

What was it that made you want to change sider ?

是什么使你临阵倒戈？

I don't know what he wants, but let's play along with him.

我不知道他要干什么，可我