巴科斯范式

✍ dations ◷ 2024-12-27 12:30:21 #巴科斯范式

巴科斯范式（英语：Backus Normal Form，缩写为 BNF），又称为巴科斯-诺尔范式（英语：Backus-Naur Form，缩写同样为 BNF，也译为巴科斯-瑙尔范式、巴克斯-诺尔范式），是一种用于表示上下文无关文法的语言，上下文无关文法描述了一类形式语言。它是由约翰·巴科斯（John Backus）和彼得·诺尔（Peter Naur）首先引入的用来描述计算机语言语法的符号集。

尽管巴科斯范式也能表示一部分自然语言的语法，它还是更广泛地使用于程序设计语言、指令集、通信协议的语法表示中。大多数程序设计语言或者形式语义方面的教科书都采用巴科斯范式。在各种文献中还存在巴科斯范式的一些变体，如扩展巴科斯范式 EBNF 或扩充巴科斯范式 ABNF。

约翰·巴科斯首次在ALGOL 58中实现巴科斯范式。彼得·诺尔在ALGOL 60之中，进一步发展它的概念并将它的符号加以简化，称其为巴科斯范式（Backus Normal Form）。但高德纳主张应称为巴科斯-诺尔范式（Backus–Naur Form），因为它不算是一种正规形式（Normal form）。

BNF 规定是推导规则(产生式)的集合，写为：

<符号> ::= <使用符号的表达式>

这里的 <符号> 是非终结符，而表达式由一个符号序列，或用指示选择的竖杠 '|' 分隔的多个符号序列构成，每个符号序列整体都是左端的符号的一种可能的替代。从未在左端出现的符号叫做终结符。

本条目部分或全部内容出自以GFDL授权发布的《自由线上电脑词典》（FOLDOC）。

相关

滨海边疆区滨海边疆区（俄语：Приморский край，罗马化：Primorskij kraj）是俄罗斯远东联邦管区的一个边疆区，面积164,673平方公里，2010年统计人口1,956,497人。首府是海参崴（符拉迪
阿拉莫戈多阿拉莫戈多（英语：Alamogordo）是美国新墨西哥州奥特罗县县治。2010年人口普查结果阿拉莫戈多人口为3万人。阿拉莫戈多以美国进行三位一体核试验的白沙导弹靶场而知名。
诺姆 (阿拉斯加州)诺姆（英语：Nome），是美国阿拉斯加州的一座城市。该市的人口在2000年为3505人，2010年有3598人。人口在阿拉斯加州排行第16。1924年底至1925年初，此城市爆发白喉疫情，为控制疫情，在严寒
网络信息服务网络信息服务简称 NIS（Network Information Service），时又译为网络资料服务协议，亦即一般简称之“黄页”YP（Yellow Pages），最早由昇阳公司开发出来，为一套用来管理电脑网络中所有与
Mercury MessengerMercury Messenger或简称"MM",是一个利用Java开发的即时通讯软件。它包含Windows Live Messenger的所有功能,并支援Mac OS X及Linux。
吕施格拉特山坐标：46°42′6″N 9°20′44″E / 46.70167°N 9.34556°E / 46.70167; 9.34556吕施格拉特山（Lüschgrat），是瑞士的山峰，位于该国东南部，由格劳宾登州负责管辖，属于勒蓬廷山的一部
北海康王北海康王，中国东汉宗室，史书没有记载他的名字。北海顷王刘普之孙，北海恭王刘翼之子。汉顺帝永和二年（137年）三月辛亥，刘翼薨，其子嗣位北海王（治所在剧县，今山东省寿光市南）。北海康王无后，他死后北海国没有再册封国王。汉献帝建安十一年（206年），北海国除。
威廉·里德威廉·里德（William Reid，1921年12月21日－2001年11月28日），英国皇家空军军官、苏格兰出身，曾获授维多利亚十字勋章。这一勋章是为了奖励英国及英联邦国家军人在面对敌人时的勇敢的最高最荣誉的勋章。他是以二战时期英国皇家空军轰炸机司令部（英语：RAF_Bomber_Command）的一名飞行员身份接受此勋章。威廉·里德出生于拉纳克郡的拜利斯顿（英语：Baillieston），在二战爆发后申请加入英国皇家空军。在通过最初的训练后，他选择成为一名轰炸机驾驶员，不久就成为一名飞行教官，他最终
宋夫人宋夫人（？－430年），北燕天王冯跋的妾室，生子冯受居。北燕太平二十二年（430年）冯跋重病，征召中书监申秀、侍中阳哲来到寝殿嘱托后事。九月，命太子冯翼主持朝政。宋夫人打算立自己的儿子冯受居，厌恶太子冯翼主持朝政，对冯翼说：“王上的病就要痊愈了，你为什么急于代父君临天下呢？”冯翼的性格仁弱，听从了宋夫人的话，退位返回了东宫，每天三次去看望父亲。冯翼出来后，宋夫人就假传圣旨，不许朝廷内外官员进宫探病，有事只派宦官传达。只有中给事胡福可自由出入，负责安全警卫。胡福忧虑宋夫人的阴谋会成功，就把宋夫人的异常举动报
赵宗儒赵宗儒（746年－832年），字秉文，唐代邓州穰县（今河南南阳）人。唐德宗时任宰相。父赵骅，官秘书少监。德宗大历进士，初授弘文馆校书郎，一年后又以书判入高等，补陆浑主簿。数月，征拜右拾遗，充翰林学士，时其父赵骅被任为秘书少监，他与父亲同日任命，一时传为佳话。建中年间，历官屯田、司门、司勋员外郎。贞元六年（790年），主持考功司事务，裁定官吏考核成绩，黜陟公当，无所畏避。升为考功郎中，母忧去职。终丧，迁吏部郎中。十一年（795），迁给事中。贞元十二年，与谏议大夫崔损同日以本官（给事中）同中书门下平章事。贞元