形式语言

His definition of a language is not formal.

他的语言的定义不是形式语言的。

Automata with truth-values in lattice-ordered monoid are more powerful than other kind of fuzzy automata, which-construct a new model of computing with words.

取值于格半群的自动机比其它形式的模糊自动机能接受更为广泛的形式语言与模糊语言，将基于词的计算模型建立在更广泛的理论之上。

This form experiment showed a kind of inner mysterious quality and a kind of visible penetrability in the philosophical layer.

喻高致力于在成为视觉符号和文化象征的传统语言主题中抽象出它的形式语言的视觉前卫性，这种形式实验表现出一种内在的神秘精神，以及哲学层面上的一种可以观看的穿透力。

In order to liberate philosophy from the occupied Psychologism at that time, Frege founded artificial formal language and regularized ordinary language.

为了把哲学从当时占据统治地位的心理主义中解放出来，弗雷格创立了这种人工的形式语言，对日常语言具有的缺陷进行了诸多规范。

Because the investigation of natural language had shown that we could construct successfully semantical antinomy in any semantically closed language,Tarski thought that the definition of truth in a fomalized language could be only constructed in its metalanguage.

塔斯基发现，在一个语言内部定义该语言的"真"必然导致该语言具有语义封闭性，而对日常语言的分析已经表明，在任意一个具有语义封闭性的语言中都可以成功地构造出语义悖论，因此，形式语言的真句子定义只能在其元语言中得到。

That is to say, we would have nothing more meaningful than an uninterpreted formal language, formal rules of inference, and a subset of the set of well-formed formulas as axioms.

也就是说，我们持有的有意义语言甚至超不过一个尚未解释的形式语言、形式推理规则和作为公理的合式公式子集。

The relationship between formal language made by themselves and appreciating taste is essentially unitive in language and spirit.

相应的文化高度，将自创的形式语言与审美规律相对应，在本质上是艺术语言与精神内在的统一。

As a system of symbols, language legitimates itself by means of external communication on the one hand, and creates a cultural semeotic world of its own on the other.

一 网络语言符号的交际形式语言作为一种符号系统它一方面向外部沟通，从而使语言符号自身的合法性得以确立，另一方面作为符号本身创造了属于自己的符号文化世界。

Jia: in your 1988 work there is a landscape called "West stone channel".

贾方舟：看来你对形式语言一开始就很敏感，这件最早的作品已经显露出你在寻找自己的形式语言。

Ma Yuan admires the great artists of the pre-Renaissance very ,mucn,sucn as ,poteqilli,Angelica,and Masaqeu,etc,The art of these artists lied in the period between theMiddla Ages and the Renaissance,during which the divine spirit of the Middle Ages was finely inherited,and the spitrit and breath ofa neew age was gradually standing out.

在马元的《红衣系列》中，画家内在性在吸收了欧洲文艺复兴前期大师形式语言资源，同时也找到了它和自己的表达主题的整合方式，这主要体现于马元的造型语言要素中，有两种因素是需要特别指出的，这就是垂直线造型的强调运用和红色的强调运用。

By the time of its fall, most of the prisoners were writers who had written against the corruptions of the government.

到它被攻陷的时候，里面多数的犯人是写了反对政府贪污文章的作家。

The most obvious variation to ovum morphological character was that the color was changed from light green to sepiaceous in embryonic development, and all the ovums were almost hatched after 96h.

在胚胎发育过程中卵的形态特征最明显的变化是颜色从淡绿到深褐色，卵在发育96h后卵基本全部孵化。