1) FSL Formal Semantic Language
形式语义语言
2) 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.
通过对马里奥·博塔早期作品卡登那佐住宅的分析,对建筑的形式语言作了一次初探,希望借助于分析现有的作品来洞悉形式生成的整个过程,从而了解空间形态中空间单元与组织结构的作用及意义。
3) 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.
综合绘画媒材是艺术家表现情感和行使精神创造的载体,其形式语言具有现代性、情感性、表现性。
5) 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.
作者认为在翻译过程中，译者在分析理解原文内容的同时，还应对原文的语言形式的特点和作用作认真地分析，弄清其形式意义的作用，并结合原文内容和翻译的具体目的，决定有无必要及如何灵活地将其形式意义传达给译文读者。
6) linguistic form
语言形式
1.
This paper is based on the pragmatic theory, points out that the pragmatic knowledge is very important to language expression in view of linguistic form, context, speech act and incoherence in the discourse, analyses the problem of pragmatic failure caused by cultural difference and so on.
以语用学理论为基础 ,从语言形式、语境、话语表面的不连贯等几方面论述了语用知识对语言表达的重要性 ,分析了文化差异等原因造成的语用失误 ,探讨语用学理论对外语教学产生的影
2.
The linguistic form is distinctive of poetry in the literature history.
诗歌以其语言形式的独特性在文学史上独树一帜,格律、音韵、节奏、意象等的结合丰富了蕴藏其中的意义。
3.
As two opposite translation strategies,foreignization and domestication regard two hierarchies: cultural content and linguistic form.
翻译的异化和归化分为两个层面:文化内容和语言形式。
补充资料：形式语义
形式语义
formal semantics
须首先识别给定的程序，分析程序的语法结构。因J比，在形式语义中使用一种讨论程序分解的语法规则，这种语法称作抽象语法。不同的程序设计语言往往使用不同的记号和表示方式。形式语义提供的方法适用于一切程序设计语言，故抽象语法采用的记号和表示方式也是具体语法的一种抽象。 在定义程序设计语言的语义时，需要一种定义语义的语言，这种语言称为元语言。元语言可以采用已有的数学语言，也可以是以数学理论为基础的专门设计的语言。用元语言去定义程序语言的形式语义，必须首先严格定义元语言的语义。 用程序设计语言编写的程序，规定了它对计算机系统中数据的一个加工过程，形式语义的基本方法是将程序加工数据的过程及其结果形式化，从而定义程序的语义。 由于形式化中侧重面和使用的数学工具不同，形式语义可分为四大类。①操作语义:着重模拟数据加工过程中计算机系统的操作;②指称语义:主要刻画数据加工的结果，而不是加工过程的细节;③公理语义:用公理化的方法描述程序对数据的加工;④代数语义:把程序设计语言看作是刻画数据和加工数据的一种抽象数据类型，使用研究抽象数据类型的代数方法，来描述程序设计语言的形式1屠义。x ingshi yuyi形式语义《伪丽习一tics)用数学方法精确刻画计算机语言的语义，尤指用形式系统严格定义出的语言的语义。程序设计语言是人们用来和计算机系统进行通信和控制其工作的人工语言。作为语言，人工语言和自然语言(如汉语、英语等)一样，有其语法、语义和语用范畴。程序设计语言的语法是指程序的组成规则，语义是指程序的含义。 程序设计语言的语义通常是由设计者用一种自然语言非形式地解释的，实现者和使用者则依据各自的理解去实现和使用这种语言。然而使用自然语言和非形式的方法解释语义，容易产生歧义，造成语言设计者、用户和实现者对语义的不同理解，影响语言的正确实施和有效使用。程序设计语言中的过程调用语句就是这方面的一个典型例子。人们发现对过程调用语句的非形式解释可能导致各种不同的理解，产生多种不同的效果。 为了正确、有效地使用程序设计语言，必须了解语言中各个成分的含义，并且要求计算机系统执行这些成分所产生的效果与其含义完全一致。人们这种对语义精确解释的要求便产生了形式语义学。形式语义学的研究始于20世纪60年代初期，在程序设计语言ALGOL60的设计中，第一次明确区分了语言的语法和语义，并使用BNF符号系统成功地实现了语法的形式描述。语法的形式化大大推动了语义形式化的研究，围绕ALGOL60的语义出现了形式语义学早期的研究热潮。以后的程序设计语言，如P川王渔L沪da等，都有人给出了严格的形式语义，旨在为编制程序语言的编译程序提供正确依据。 美国斯坦福大学J.Mc(兔rt衍于1962年系统地论述了程序设计语言语义形式化的重要性，以及它同程序的正确性、语言的正确实现等的关系，并提出在形式语义研究中使用抽象语法和状态向量等方法。近年来，形式语义的理论和应用都有了很大发展。 程序设计语言的语法是规定程序组成方法的一些规则，称为具体语法，但在定义程序的语义时，必
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条