上下文无关语法关系的表示

Question

无上下文语法的生成规则被形式化为成对，只是一组关系......

(α,β) ∈ R 

其中α是非终端，β是终端或非终端。

因此，S→A可写为（S，A）∈R

但是在为可能的CFG解析标记的自然语言树时。许多规则的形式如下：

NP → NNP POS

也就是说，右侧不是总是单个终端或非终端

有没有办法正式化这些生产规则？因为我看不到关系方法有效...

除非它们更像（NP→NNP）→POS

或者它们不是确切的生产规则，

Answer 1

无上下文语法由四元组(V, T, P, S)定义：

• V一组非终端符号
• 一组终端符号，与V
不相交
• P一组制作，每个制作都是v → ω，其中v ∈ V和 ω ∈ (V ⋃ T)*
• 是V的元素，起始符号

从技术上讲，您可以从V派生T和P。但是，每个人都大致如上所述（名称有些变化，偶尔使用V和V ⋃ T作为基元，而不是V和T）。

重要的一点（上面的粗体）是生产的右侧不是终端或非终端＆＃34;而是＆＃34; (V ⋃ T)*＆＃34;的元素。如果您无法将非终端扩展为多个符号，则您的语言将只包含单个元素字符串。