巴科斯范式和扩展巴科斯范式
摘要:
巴科斯范式(也称为巴科斯-瑙尔范式、巴克斯-诺尔范式)即 BNF 是一种用于表示上下文无关文法的语言,上下文无关文法描述了一类形式语言。尽管巴科斯范式也能表示一部分自然语言的语法,它还是更广泛地使用于程序设计语 言、指令集、通信协议的语法表示中。大多数程序设计语言或者形式语义方面的教科书都采用巴科斯范式。在各种文献中还存在巴科斯范式的一些变体,如扩展巴科斯范式EBNF或扩充巴科斯范式 ABNF。 BNF 规定是推导规则(产生式)的集合,写为: <code><符号> ::= <使用符号的表达式> 这里的<符号> 是非终结符,而表达式由一个符号序列, 阅读全文
posted @ 2011-03-28 17:47 ATAK 阅读(746) 评论(0) 推荐(1) 编辑