关于EBNF表示法和JSON的问题

最近我一直在研究解析器和语法以及它们是如何工作的。我正在阅读使用EBNF的http://www.ietf.org/rfc/rfc4627.txt的JSON正式语法。我对BNF和EBNF的理解非常有信心，但显然我还是不完全理解它。 RFC定义了一个JSON对象，如下所示：

  object = begin-object [ member *( value-separator member ) ]
  end-object

我理解这里的意图是表达任何JSON对象可以（可选）拥有一个成员，然后是0或更多（值分隔符，成员）对。我不明白为什么星号出现在(value-separator member)之前。是不是星号应该模仿正则表达式，以便在项目重复0次或更多次之后出现？不应该像这样编写JSON对象语法：

  object = begin-object [ member ( value-separator member )* ]
  end-object

已邀请:

3 个回复

惭法搽

语法是关于某人选择写下具体实体来表示某事的方式。我同意在实体重复之前推出Kleene明星是非标准的，作者选择要做到这一点，只会混淆习惯惯例的人。但它完全有效;作者得到定义什么语法的意思，你，标准的用户，只是接受它。将Kleene星放在他所做的地方有一些争论;它表明有列表在您可能期望列表的位置跟随。后缀式Kleene星表示同样的，但它有点意外;首先你读取list元素（从左到右），然后你发现了这颗恒星。实际上，后Kleene-star的突然因素通常不足以超过违反惯例的意外因素。但该标准的作者做出了选择。欢迎使用语法。

场竟矩喘崩

在上述文件中，http：//www.ietf.org/rfc/rfc4627.txt表示本文档中的语法规则应解释为在[RFC4234]中描述。 RFC4234描述了ABNF（增强型BNF），而不是EBNF。如果您仔细阅读本文档，您将找到以下定义：

3.6.  Variable Repetition:  *Rule

   The operator "*" preceding an element indicates repetition.  The full
   form is:

         <a>*<b>element

   where <a> and <b> are optional decimal values, indicating at least
   <a> and at most <b> occurrences of the element.

   Default values are 0 and infinity so that *<element> allows any
   number, including zero; 1*<element> requires at least one;
   3*3<element> allows exactly 3 and 1*2<element> allows one or two.

所以，符号

*( value-separator member )

根据ABNF定义是正确的，并允许任意数量的重复，包括零。

妒垮

关于标准的好处是有很多可供选择的。显然，Niklas Wirth和三十年前的想法一样：编程人口语言正在稳步增长，并且这种增长没有结束视线。许多语言定义出现在期刊上，很多都出现在技术报告，也许是偶数更多的人仍然局限于专营圈子。经常接触这些定义，一不能不注意到缺乏 “共同点。”唯一广泛的接受的事实就是语言结构由语法定义。但甚至是句法的符号描述不包括任何共同商定的标准形式，虽然潜在的祖先总是Backus-Naur Algol 60报告的形式。如它们的变化往往很轻微他们非常缺乏而烦恼明显的动机。是的，RFC-4627中使用的符号不太常见，但并非不可理解。

要回复问题请先登录或注册

关于EBNF表示法和JSON的问题

3 个回复

发起人

ebnf

问题状态

关于EBNF表示法和JSON的问题

与内容相关的链接

3 个回复

发起人

ebnf

问题状态