上下文无关语法的生成规则被形式化为成对，只是一组关系......
(α,β) ∈ R
其中 α 是非终端， β 是终端或非终端 .
因此S→A可以写成（S，A）∈R
但是在为可能的CFG解析标记的自然语言树时 . 许多规则的形式如下：
NP → NNP POS
也就是说，右侧不是_11809581_单个终端或非终端
有没有办法正式化这些 生产环境 规则？因为我看不到关系方法的工作......
除非它们更像（NP→NNP）→POS
或者它们不是确切的 生产环境 规则，
无上下文语法由四元组 (V, T, P, S) 定义：
(V, T, P, S)
V一组非终端符号
T一组终端符号，与V不相交
P一组制作，每一个都是映射 v → ω ，其中 v ∈ V 和 ω ∈ (V ⋃ T)*
v → ω
v ∈ V
是 V 的元素，起始符号
V
从技术上讲，您可以从 P 派生 V 和 T . 但是，每个人都大致如上所述（有一些名称的变体，偶尔使用 V 和 V ⋃ T 作为基元而不是 V 和 T ） .
P
T
V ⋃ T
重点（上面的粗体）是 生产环境 的右侧不是"a terminal or a non-terminal"而是“ (V ⋃ T)* 的元素” . 如果您无法将非终端扩展为多个符号，则您的语言将仅包含单个元素字符串 .
(V ⋃ T)*
1 回答
无上下文语法由四元组
(V, T, P, S)定义：V一组非终端符号
T一组终端符号，与V不相交
P一组制作，每一个都是映射
v → ω，其中v ∈ V和 ω ∈ (V ⋃ T)*是
V的元素，起始符号从技术上讲，您可以从
P派生V和T. 但是，每个人都大致如上所述（有一些名称的变体，偶尔使用V和V ⋃ T作为基元而不是V和T） .重点（上面的粗体）是 生产环境 的右侧不是"a terminal or a non-terminal"而是“
(V ⋃ T)*的元素” . 如果您无法将非终端扩展为多个符号，则您的语言将仅包含单个元素字符串 .