说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 形式语言
1)  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.
通过对马里奥·博塔早期作品卡登那佐住宅的分析,对建筑的形式语言作了一次初探,希望借助于分析现有的作品来洞悉形式生成的整个过程,从而了解空间形态中空间单元与组织结构的作用及意义。
2)  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.
综合绘画媒材是艺术家表现情感和行使精神创造的载体,其形式语言具有现代性、情感性、表现性。
3)  formal languages
形式语言
4)  modality language
形式语言
1.
A modality language recognized for automatic test paper marking program was designed.
为克服人工阅卷的诸多困难,给出了一个对数据库操作题自动阅卷的设计方案,该方案以试题的组织 形式和录入技术为基础,设计了供阅卷程序识别的形式语言,覆盖了数据库操作题的主要内容,作为山西省计 算机应用能力考核系统的子系统,该方案已投入使用。
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 language

  形式语言[肠旧日lh卿.罗冲opMa几‘““.,3““] 由某个(有限的或无穷的)字母枣(alphabet)v(有时亦称为字典(dictiona卿))上的元素组成的串(即字(word))的任意集合,亦即形如田=a:,…,ak的表示的集合,这里a、,…,久任V;串。的长度是数k,通常记为}田}.一般空串也被考虑在内,记为凡规定{A}二0.通常说字母表F上的一个语言,而省略“形式”二字.在数学语言学(n篮1 thorr以6口」五ngll云允)以及自动机理论(aLIt0H坦ta,thooryof)中,人们考虑用各种类型的形式文法(ga代叮坦r,场~1)及自动机来有效地描述形式语言,在大多数情况下这些都是修改了的多带非确定T耐l嗯机(Turmg叮以chine),对机器在工作带上的工作模式加了一些限制. 形式语言的运算.除了常见的集合运算,还考虑形式的语言乘法(m』tiP五口tion)(或称直接乘法( di代CtmLdtiPli以tion),或毗连(co暇把nation)): L:几二{xy二x任L.,y任仁};左除(leftdi姑ion):拼卜注】细节见形式语言与自动机(fon力alla理阳笋朗da以olr以ta).鲍丰译李廉校LZ\L一{x:日夕,z(夕‘L:%26z任几%26夕二zx)}:布咚(咖division)几/几的定义类似左除;举作卿粤(妞eration): L’二L“日刀U…,这里L0指{八},而刀十,”厂L(特别地,V上所有串组成的集合就是V’);截迭代闭包(甘切以习让d iteratio们): L+二刀日刀日…;代换(s咖titution):如果L是有限字母表{马,…,气}上的一个语言,L:,…,从是任意语言,则 S(L;a,,…,久}L,,…,人)= ={x,,’二x:*“a‘、…a“EL%26x‘,6L,%26…%26x,*‘L‘*};如果每个语言吞(i=1,…,n)都是由一个串:,组成的,这个代人称为同态(加伽伽印比m);如果所有的共都不是空字,则称为不可缩同态(幽bbreha让d holrlo-二rp油m)·如果语言{x}仅由一个串二组成,则一般写成xL,x\L等,而不写成{x}L,{x}\L等· 一个语言簇(份比ty ofla飞胆笋)是一个有序对(g,劝(或丫,如果g是共认的),这里g是一个无穷字母表,丫是一个语言的集合,满足:l)对任何L‘、,存在有限字母表公C=苏,使得LC艺’;2)存在某个L〔丫,有L笋必;3)了在并、乘积、与正规集的交、截闭包、不可缩同态及任意同态的逆的运算下封闭.对任意同态封闭的簇,称为完全的(田mPlete).
  
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条