1) formal representation system
形式表征体系
2) media representation model
媒体表征形式
3) formal representation
形式表征
1.
Tarski\'s Theory of Truth has provided Davidson\'s Theory of Meaning with not only a proper formal representation framework and a proper basis for verification forms of empirical evidence,but also a extensional approach to studying connotative questions such as meaning and a reliable,convenient formal analyzing tool for researches into the issue of relations between language and reality.
塔尔斯基真理论不仅为戴维森意义理论提供了恰当的形式表征框架和经验证据的验证形式的基础,而且为其提供了研究意义等内涵问题的外延主义道路和研究语言与实在的关系的可靠便利的形式分析手段。
4) Multi Representations
多形式表征
6) linguistic representation of concept
概念形式表征
补充资料：巴克斯-诺尔形式体系
巴克斯-诺尔形式体系
Backus-Naur formalism,BNF
Bakesi一Nuoor xingsh一tixl巴克斯·诺尔形式体系(Backus-Naur fon田.1-isrn，BNF)用以描述程序设计语言语法的一种形式体系。它是以美国IBM公司的研究员JBackus和丹麦哥本哈根大学P.Naur教授共同命名的，最初用于Al兀盯L60语言的语法，是一种典型的元语言。BNF还可看成是压ck*Naur丘)rn飞，珑ekus~Nonl妞1loml和玫ck叶Nomzalfortllalisln的缩略语。 它能严格地表示一类上下文无关语言的局部语法规则。因此，自从它被AL〔X)L6O语言文本采用后，已得到广泛的推广，为各种计算机程序设计语言普遍采用。 BNF表示语法规则的方法为:非终极符号用尖括号括起来。每条规则的左部是一个非终极符号，右部是一个由非终极符号和终极符号组成的一个符号串，左右部之间以::=分开。具有相同左部的规则可以公用一个左部，各右部之间以竖号!隔开。例如，定义标识符的一组BNF公式为: (标识符>::=(字母>}<标识符)<字母)} <标识符><数字> <字母)::=a}blc卜二12 <数字)::=01112卜二}9
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条