1) formal language grammar
形式语言文法
2) classical Chinese grammar
文言语法
3) formal language
形式语言
1.
The landscape value of Huizhou folk house was excavated from its formal language and in order to provide references for the modern folk architecture design.
在总结徽州民居形式特点的基础上,指出徽州民居完美体现了自然环境、传统哲学思维、大文化村传统、地域风俗文化的融合,并从徽州民用建筑的形式语言出发,挖掘徽州民居建筑的景观价值,以期对中国现代居住建筑的设计提供参考。
2.
A unified theory of formal languages is the basis for automatic software developing.
用统一的基础理论定义形式语言的基本概念是实现软件自动化的重要基石,试图用递归论的术语定义串、序列函词、串等价等程序语言中的基本概念,证明了任何上下文无关语言的串实例都与一个半格系统相对应,对自动化建立语言的代数语义模型做出了有益的尝试。
3.
This paper based on the analysis of Mario Botta searly work——Family House in Cadenazzo,explores the formal language approach of buildings.
通过对马里奥·博塔早期作品卡登那佐住宅的分析,对建筑的形式语言作了一次初探,希望借助于分析现有的作品来洞悉形式生成的整个过程,从而了解空间形态中空间单元与组织结构的作用及意义。
4) Form language
形式语言
1.
The shape of the external spaces are expressed through the form languages such as points, lines, planes.
建筑外部空间造型的表达是通过点、线、面等一系列形式语言,外部空间的整体造型是这些形式的凝结与汇聚。
2.
The Minimum is less a style and more a form language with highly symbol.
极少主义与其说是一种流派,倒不如说极少主义更是一种高度符号化的形式语言。
3.
And the form language is characterized by its modernism,expressionism and emotion.
综合绘画媒材是艺术家表现情感和行使精神创造的载体,其形式语言具有现代性、情感性、表现性。
6) language form
语言形式
1.
This essay tends to discuss the two major criteria: language form and thinking competence with reference to the year 2002 s national TEM 4 oral test.
本文结合2002年全国英语专业四级口试从传统的语言形式和随着英语普及、提高而日益重要的思维能力的两个方面讨论口语评判的标准。
2.
The language forms, content, and remarks and responses of compliments are greatly influenced by their cultures From.
称赞语是一种十分普遍的现象 ,其语言形式、内容和应答模式都受其文化背景影响 ,呈现出各自的规律性。
3.
The authors in this paper discuss four kinds of meanings of language form and their functions in translation.
作者认为在翻译过程中，译者在分析理解原文内容的同时，还应对原文的语言形式的特点和作用作认真地分析，弄清其形式意义的作用，并结合原文内容和翻译的具体目的，决定有无必要及如何灵活地将其形式意义传达给译文读者。
补充资料：形式文法
数理语言学用于生成语言的文法。形式文法是数目有限的规则的集合，这些规则可生成语言中的合格句子，并排除语言中的不合格句子。形式文法符号为 G，文法所生成的语言符号为L(G)。
定义 美国语言学家N.乔姆斯基把形式文法 G定义为四个项目的组合：
G=(VN,VT,S,P)
其中，VN是非终极符号，不能处于生成过程的终点；VT是终极符号,能处于生成过程的终点；VN与VT不相交,没有公共元素； S是VN中的初始符号； P是重写规则，其一般形式为：
嗞→ψ
这里，嗞和ψ都是符号串。
如果用符号＃来表示符号串中的界限，那么，可以从初始符号串＃S＃开始，应用重写规则＃S＃→＃嗞1＃，从＃ S＃构成新的符号串＃嗞1＃，再利用重写规则＃嗞1＃→＃嗞2＃，从＃嗞1＃构成新的符号串＃嗞2＃，......一直到得出不能再继续重写的符号串＃嗞n＃为止，这样得出的终极符号串＃嗞n＃，显然就是语言L(G)中合格的句子。
例如，在英语中，有如下的文法：
G=(VN,VT,S,P)
VN={NP,VP,T,N,V}
VT ={the,man,boy,ball,saw,hit,took,...}
S=S
P:S →NP⌒VP
①
NP→ T⌒N
②
VP→ V⌒NP
③
T →the
④
N →{man,boy,ball,...}
⑤
V→{saw,hit,took,...}
⑥
这里,初始符号S表示句子,NP表示名词短语,VP表示动词短语, T表示指示词, N表示名词,V表示动词。利用这些重写规则,可以从初始符号S开始,生成英语的句子"The man saw the ball","The man took the ball","The boy hit the ball",等等。
"The man saw the ball"的生成过程可写成如下形式，后面注明所用重写规则的号码：
S
NP⌒VP
①
T⌒N⌒VP
②
T⌒N⌒V⌒NP
③
the N⌒V⌒NP
④
the man V⌒NP
⑤
the man saw NP
⑥
the man saw T⌒N
②
the man saw the N
④
the man saw the ball
⑤
这样写出来的生成过程，叫做推导史。
分类 乔姆斯基根据重写规则的形式，把形式文法分为 4类：
① O型文法：重写规则为嗞→ψ，并且要求嗞不是空符号串。
②上下文敏感文法:重写规则为嗞1A嗞2→嗞1ω嗞2。在上下文嗞1→嗞2中，单个的非终极符号 A被重写为符号串ω，所以，这种文法是上下文敏感的。
③上下文自由文法：重写规则为A→ω。当A重写为ω时，没有上下文的限制，所以，这种文法是上下文自由的。
④有限状态文法：重写规则为 A→aQ或A→a。其中，A和Q是非终极符号，a是终极符号，而A→a只不过是A→aQ当 Q为空符号时的一种特殊情况。如果把A和Q看成不同的状态，那么，由重写规则可知，由状态 A转入状态Q时，可生成一个终极终号a，因此，这种文法叫做有限状态文法。
各种形式文法的关系 每一个有限状态文法上下文都是自由的，每一个上下文自由的文法上下文都是敏感的，每一个上下文敏感的文法都是 O型的。乔姆斯基把由O型文法生成的语言叫O型语言，把由上下文敏感文法、上下文自由文法、有限状态文法生成的语言分别叫做上下文敏感语言、上下文自由语言、有限状态语言。有限状态语言包含于上下文自由语言中，上下文自由语言包含于上下文敏感语言中，上下文敏感语言包含于 O型语言中。
形式文法的理论是当代计算机科学的基础理论之一，在算法分析、编译技术、图像识别、人工智能等领域中得到广泛的应用。
参考书目
N.Chomsky,Three models for the description oflɑnɡuɑɡe , 《 IRE Transaction of information Theory》.Vol.1,No.3,pp.113～124,1956.
定义 美国语言学家N.乔姆斯基把形式文法 G定义为四个项目的组合：
G=(VN,VT,S,P)
其中，VN是非终极符号，不能处于生成过程的终点；VT是终极符号,能处于生成过程的终点；VN与VT不相交,没有公共元素； S是VN中的初始符号； P是重写规则，其一般形式为：
嗞→ψ
这里，嗞和ψ都是符号串。
如果用符号＃来表示符号串中的界限，那么，可以从初始符号串＃S＃开始，应用重写规则＃S＃→＃嗞1＃，从＃ S＃构成新的符号串＃嗞1＃，再利用重写规则＃嗞1＃→＃嗞2＃，从＃嗞1＃构成新的符号串＃嗞2＃，......一直到得出不能再继续重写的符号串＃嗞n＃为止，这样得出的终极符号串＃嗞n＃，显然就是语言L(G)中合格的句子。
例如，在英语中，有如下的文法：
G=(VN,VT,S,P)
VN={NP,VP,T,N,V}
VT ={the,man,boy,ball,saw,hit,took,...}
S=S
P:S →NP⌒VP
①
NP→ T⌒N
②
VP→ V⌒NP
③
T →the
④
N →{man,boy,ball,...}
⑤
V→{saw,hit,took,...}
⑥
这里,初始符号S表示句子,NP表示名词短语,VP表示动词短语, T表示指示词, N表示名词,V表示动词。利用这些重写规则,可以从初始符号S开始,生成英语的句子"The man saw the ball","The man took the ball","The boy hit the ball",等等。
"The man saw the ball"的生成过程可写成如下形式，后面注明所用重写规则的号码：
S
NP⌒VP
①
T⌒N⌒VP
②
T⌒N⌒V⌒NP
③
the N⌒V⌒NP
④
the man V⌒NP
⑤
the man saw NP
⑥
the man saw T⌒N
②
the man saw the N
④
the man saw the ball
⑤
这样写出来的生成过程，叫做推导史。
分类 乔姆斯基根据重写规则的形式，把形式文法分为 4类：
① O型文法：重写规则为嗞→ψ，并且要求嗞不是空符号串。
②上下文敏感文法:重写规则为嗞1A嗞2→嗞1ω嗞2。在上下文嗞1→嗞2中，单个的非终极符号 A被重写为符号串ω，所以，这种文法是上下文敏感的。
③上下文自由文法：重写规则为A→ω。当A重写为ω时，没有上下文的限制，所以，这种文法是上下文自由的。
④有限状态文法：重写规则为 A→aQ或A→a。其中，A和Q是非终极符号，a是终极符号，而A→a只不过是A→aQ当 Q为空符号时的一种特殊情况。如果把A和Q看成不同的状态，那么，由重写规则可知，由状态 A转入状态Q时，可生成一个终极终号a，因此，这种文法叫做有限状态文法。
各种形式文法的关系 每一个有限状态文法上下文都是自由的，每一个上下文自由的文法上下文都是敏感的，每一个上下文敏感的文法都是 O型的。乔姆斯基把由O型文法生成的语言叫O型语言，把由上下文敏感文法、上下文自由文法、有限状态文法生成的语言分别叫做上下文敏感语言、上下文自由语言、有限状态语言。有限状态语言包含于上下文自由语言中，上下文自由语言包含于上下文敏感语言中，上下文敏感语言包含于 O型语言中。
形式文法的理论是当代计算机科学的基础理论之一，在算法分析、编译技术、图像识别、人工智能等领域中得到广泛的应用。
参考书目
N.Chomsky,Three models for the description oflɑnɡuɑɡe , 《 IRE Transaction of information Theory》.Vol.1,No.3,pp.113～124,1956.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条