CFG示例：可以用2个不同的赋值替换双变量吗？

Question

假设我有一个无上下文语法，例如：S-＆gt; SaS | b | Λ...可以同时被2个不同的S“替换”...... IE我理解“bab”和“bababab”是这种语言中的字符串...“ba”是这种语言中可接受的字符串（ SaS - ＆gt;baΛ - ＆gt; ba）？

Answer 1

是。无上下文语法中的每个变量都独立于所有其他变量（即“无上下文”部分），因此它们可以扩展为不同的字符串。在您的情况下，ba确实是语法语言，正是您指定的原因。

希望这有帮助！