说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 情态语言形式
1)  modal language form
情态语言形式
1.
Then it probes into the relationship between modal language form in Russian and manners to instruct the practice in communication.
本文概括介绍国外学者关于礼貌语言问题的研究情况 ,然后探讨俄语情态语言形式与礼貌程度之间的密切关系以指导交际实践。
2)  linguistic form
语言形态
1.
Different from word language,language of vision booms as a result of technological progress,and has become a challenge to the word-language-dominated linguistic form.
视觉语言有别于文字语言,科学技术的进步给它的蓬勃发展带来了契机,使其对以文字语言为主导的语言形态构成了冲击。
3)  Colour Language
形态语言
1.
On Training Students Ability in Colour Language;
论色彩形态语言能力的培养
4)  forms of language
言语形态
5)  lyrical speech
抒情式语言
6)  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.
通过对马里奥·博塔早期作品卡登那佐住宅的分析,对建筑的形式语言作了一次初探,希望借助于分析现有的作品来洞悉形式生成的整个过程,从而了解空间形态中空间单元与组织结构的作用及意义。
补充资料:机器可表示的形式语言


机器可表示的形式语言
ormal language, machine-representaMe

  机器可表示的形式语言【匆m..加心口罗,.抽山i世一比p限-,幻加城;加pMa月.ou 03。二,upe及eTan“Mu盆Ma.,.诫J,妙拳可谬别的形式语言(姗chine一托以)邵毯乙ble fonT以】h刀g阳罗) 在执行过程中使机器进人某一特定状态的所有字(协。心)组成的集合.任何一个字的递归可数集都是由某个口1、耐嗯机(T面ngTr以山irle)可表示的一种形式语言.最常见的是考虑递归形式语言的机器识别.有限自动机(autoTnaton,6hite)识别且仅识别正则语言;带堆栈记忆的自动机识别且仅识别上下文无关语言. 当一种形式语言是由无穷字(超字)组成时,称为超语言(sul军rlan今功罗).机器识别超语言的定义与通常见到的定义不同.例如,一个字x属于一个有限自动机吸可识别的超语言,当且仅当自动机在处理x时无穷多次进人某一特定的状态子集. 在研究不是以机器术语给出的具体形式语言时(例如,以形式文法(granu刀ar,fon丁以1)给出的),经常需要从某个方面刻画语言的复杂性.在这个方向上最通常的途径之一就是寻找能够识别这些语言的一个适当的机器类,并以这类机器的复杂性特征来确定语言的复杂性.另一方面,作为一种惯例,研究具体的某一类机器也包括描述这类机器可表示的形式语言.对机器可表示形式语言的进一步研究是关于这些语言与一些已知的语言类的关系问题,封闭性质(相对于集合论运算等),以及关于算法和复杂性特点的问题.【补注】亦见形式语言与自动机(伪~】language,王川da以orr坦ta).鲍丰译李廉校
  
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条