图书介绍：片断：巴克斯－诺尔形式体系（Backus－Naurformal－ism，BNF）用以描述程序设计语言语法的一种形式体系。它是以美国IBM公司的研究员J.Backus和丹麦哥本哈根大学P.Naur教授共同命名的，最初用于ALGOL60语言的语法，是一种典型的元语言。BNF还可看成是Backus－Naurform，BackusN－ormalform和Backus－Normalformalism的缩略语。它能严格地表示一类上下文无关语言的局部语法规则。因此，自从它被ALGOL60语言文本采用后，已得到广泛的推广，为各种计算机程序设计语言普遍采用。BNF表示语法规则的方法为：非终极符号用尖括号括起来。每条规则的左部是一个非终极符号，右部是一个由非终极符号和终极符号组成的一个符号串，左右部之间以∷＝分开。具有相同左部的规则可以公用一个左部，各右部之间以竖号｜隔开。例如，定义标识符的一组BNF公式为：〈标识符〉：：＝〈字母〉｜〈标识符〉〈字母〉〈标识符〉〈数字〉〈字母〉：：＝a｜b｜c｜…｜z〈数字〉：：＝0｜1｜2…｜9（程虎）Bakesifanshi巴克斯范式（Backusnormalform