1) "imager/ verbalizer" dimension
"言语化/形象化"维度
2) abstractive language
抽象化语言
3) Verbalizer-Imager dimension
言语-表象维度
1.
Thus, the purpose of this study was to explore the effect of individual difference in the Verbalizer-Imager dimension of cognitive style on EFL learning for Chinese students.
本研究旨在通过观测中国学生的认知风格在言语-表象维度上的个体差异,探讨其对英语作为外语学习的影响。
4) formal language
形式化语言
1.
In the light of the characteristic of chemical science this paper the describes the constitution of the types of chemical science language, which are the natural language, the professional mark language and the formal language, and discusses the inter-relationship and functions of these languages in the development of chemical science.
本文以化学科学的特征,论述了构成化学科学语言的类型有自然语言、专业符号语言及形式化语言,并阐述了几种语言类型的相互关系及其在化学科学理论发展中的作用。
2.
However,the formal specifications written by formal languages are not easy to read and understand,and there is still not an effective tool for the automatic testing based on formal specifications.
鉴于此,提出一种新的方法将支持面向对象开发的形式化语言所描述的软件规范自动地转化为系统级状态机,从而改善其可读性与可理解性。
3.
A classfication and a system model of formal analyses is given,and three classes of formal analysis methods(based on reasoning,based on attack,based on proof)and formal languages used in formal analyses are commented in details.
综述目前安全协议形式化分析的理论与方法 ,包括安全协议的分类与模型 ,安全协议形式化分析的 3种典型方法 (基于推理的结构性方法 ,基于攻击的结构性方法 ,基于证明的结构性方法 ) ,安全协议分析的形式化语言 ,安全协议设计的形式化方法 ,以及安全协议形式化分析面临的挑
5) Graphical programming language
图形化语言
1.
Furthermore,the limitation of its develop- ment methods were analyzed,and a kind of development method based on graphical programming language were proposed.
简要回顾了微机保护的发展历程,介绍了微机保护装置开发手段的现状,通过讨论得出了微机保护装置的软件开发手段对其性能有着决定性影响的结论;进一步对常规微机线路保护装置开发方法的局限性进行分析,提出了一种基于图形化语言进行保护装置开发的方法;通过一个基于目前使用较为普遍的VISIO通用绘图软件和MS3专用工具软件相结合的微机保护软件开发应用实例,说明了使用图形化语言进行高可靠性微机线路保护装置开发的可行性和优势。
6) graphic language
图形化语言
1.
Structure and operation model of graphic language;
图形化语言结构及运行模型
补充资料：抽象语言族
某些代数运算下具有封闭性的形式语言类,简称AFL。抽象语言族是用代数方法研究形式语言理论的重要成果。
基本定义 令∞为无限字母表，在其任一有限子集i上构造语言。如果任何一组语言｛Li｝中至少包含一个，则称｛Li｝为一语言族。
在同态、逆同态和与正则语言相交下保持封闭的语言族称为满三重组。对并运算封闭的满三重组称为满半AFL。对乘幂闭包封闭的满半 AFL称为满AFL。从一个语言族出发，经上述代数运算后得到的闭包分别称为由生成的满三重组、满半AFL和满AFL,以（）、()和（）表之。如果语言族只包含一个语言L，则由生成的结构分别称为满主三重组,满主半AFL及满主AFL。如果把同态限制为无空字同态,即不得把非空字映为空字，则所有以上定义中的"满"字皆应除去。
判别准则 把非确定型有限自动机中的输出字母推广为输出字母串,所得的装置称为a转换器。把一个语言L的所有语句作输入,全体输出语句的集合即构成新语言L′。
一个语言族成为满三重组的充分必要条件是它在 a转换器运算下是封闭的。对。又对 K≥1构造任意的。在上定义同态h为：h(c)＝ε,h(ɑ)＝ɑ(对任意ɑ∈)，则L中任一语句S不会比它的映像h(s)长K倍以上。因此称h为K有界同态。所有的K有界同态统称有界同态。
一个语言族成为 AFL的充分必要条件是它在并运算、无空字乘幂闭包、无空字正则置换、与正则语言相交及有界同态下是封闭的。
一个语言族成为满 AFL的充分必要条件是它在并运算、乘幂闭包、正则置换、与正则语言相交及同态映射下是封闭的。
抽象接收器族 类似于从个别的语言到抽象语言族，从个别的自动机（接收器）出发也可得到相应的抽象接收器族，简称AFA。AFA接受语言族有两种方式。如果只要求该AFA最后进入终止状态,则接受的语言族正好是满半AFL。如果除了要求AFA进入终止状态外，还要求它的存储同时变空，则接受的语言族正好是满AFL。
乔姆斯基分层的四族语言0、1、2、3都是AFL,其中只有0、2、3是满AFL。1不是,因为它在一般的同态映射下不封闭。
基本定义 令∞为无限字母表，在其任一有限子集i上构造语言。如果任何一组语言｛Li｝中至少包含一个，则称｛Li｝为一语言族。
在同态、逆同态和与正则语言相交下保持封闭的语言族称为满三重组。对并运算封闭的满三重组称为满半AFL。对乘幂闭包封闭的满半 AFL称为满AFL。从一个语言族出发，经上述代数运算后得到的闭包分别称为由生成的满三重组、满半AFL和满AFL,以（）、()和（）表之。如果语言族只包含一个语言L，则由生成的结构分别称为满主三重组,满主半AFL及满主AFL。如果把同态限制为无空字同态,即不得把非空字映为空字，则所有以上定义中的"满"字皆应除去。
判别准则 把非确定型有限自动机中的输出字母推广为输出字母串,所得的装置称为a转换器。把一个语言L的所有语句作输入,全体输出语句的集合即构成新语言L′。
一个语言族成为满三重组的充分必要条件是它在 a转换器运算下是封闭的。对。又对 K≥1构造任意的。在上定义同态h为：h(c)＝ε,h(ɑ)＝ɑ(对任意ɑ∈)，则L中任一语句S不会比它的映像h(s)长K倍以上。因此称h为K有界同态。所有的K有界同态统称有界同态。
一个语言族成为 AFL的充分必要条件是它在并运算、无空字乘幂闭包、无空字正则置换、与正则语言相交及有界同态下是封闭的。
一个语言族成为满 AFL的充分必要条件是它在并运算、乘幂闭包、正则置换、与正则语言相交及同态映射下是封闭的。
抽象接收器族 类似于从个别的语言到抽象语言族，从个别的自动机（接收器）出发也可得到相应的抽象接收器族，简称AFA。AFA接受语言族有两种方式。如果只要求该AFA最后进入终止状态,则接受的语言族正好是满半AFL。如果除了要求AFA进入终止状态外，还要求它的存储同时变空，则接受的语言族正好是满AFL。
乔姆斯基分层的四族语言0、1、2、3都是AFL,其中只有0、2、3是满AFL。1不是,因为它在一般的同态映射下不封闭。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条