1) Form System
形式体系
1.
Perfection of Form System of Chinese Constitution Rights;
中国宪法权利形式体系的完善
2) general formal system
一般形式体系
1.
The general formal system of comparative static and its application in economic analysis;
比较静态学一般形式体系及其在经济分析中的应用
3) formcognition system
形式认知体系
4) formal representation system
形式表征体系
6) pattern formalism
图样形式体系
补充资料：巴克斯-诺尔形式体系
巴克斯-诺尔形式体系
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
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条