是否有带有非终结符号参数的 BNF？

Question

在使用 Prolog DCG 解析输入时，最好有一个伴随的语法 BNF。

例如：

BNF

<Sentence> ::= <Noun_phrase> <Verb_phrase>
<Noun_phrase> ::= <Determiner> <Noun>
<Verb_phrase> ::= <Verb> <Phrase>
<Determiner> ::= a
<Determiner> ::= the
<Noun> ::= cat
<Noun> ::= mouse
<Verb> ::= scares
<Verb> ::= hates

作为 Prolog DCG

sentence --> noun_phrase, verb_phrase.
verb_phrase --> verb, noun_phrase.
noun_phrase --> determiner, noun.
determiner --> [a].
determiner --> [the].
noun --> [cat].
noun --> [mouse].
verb --> [scares].
verb --> [hates].

然而，Prolog DCG 也可以有参数为
在此示例中，Number 为 singular 或 plural

sentence(Number) --> noun_phrase(Number), verb_phrase(Number).
verb_phrase(Number) --> verb(Number), noun_phrase(Number).
noun_phrase(Number) --> determiner(Number), noun(Number).
determiner(singular) --> [a].
determiner(singular) --> [the].
determiner(plural) --> [the].
noun(singular) --> [cat].
noun(plural) --> [cats].
noun(singular) --> [mouse].
noun(plural) --> [mice].
verb(singular) --> [scares].
verb(plural) --> [scare].
verb(singular) --> [hates].
verb(plural) --> [hate].

是否存在包含非终结符参数的标准或可接受的 BNF 扩展？

如果是这样，我需要一个链接。

我怀疑 ATN（增强转换网络）在球场上，可能是唯一的标准答案，但我希望是线性文本而不是某种形式的顶点/边图。

Answer 1

我认为feature structures 的概念是您正在寻找的；您在示例中展示的参数共享是更通用的特征结构统一方法的一个特例。

我不知道专门针对 BNF 的特征结构扩展，但是有一些合理接受的符号可以将它们添加到其他语法形式中。 NLTK（一个 Python 自然语言处理库）的文档有 an example here 他们使用的符号。以下是他们的一些规则，大致对应于您示例中的前几个产品：

S -> NP[CASE=nom, AGR=?a] VP[AGR=?a]
VP[AGR=?a] -> TV[OBJCASE=?c, AGR=?a] NP[CASE=?c]
NP[CASE=?c, AGR=?a] -> Det[CASE=?c, AGR=?a] N[CASE=?c, AGR=?a]

?x 是逻辑变量的符号。 NLTK 手册的整个章节都包含对特征结构的一般描述，并包含一些参考文献。