CFG示例：可以將double變量替換爲2個不同的賦值？

假設我有一個上下文無關的語法，如：S-> SaS | b | Λ... S可以被兩個不同的S同時「替換」...... IE我明白「bab」和「bababab」是這種語言中的字符串......是「ba」這種語言中可接受的字符串（ SaS - > ba^- > ba）？CFG示例：可以將double變量替換爲2個不同的賦值？

來源

2013-04-08 outlier

這可能更適合cs.stackexchange.com。 – templatetypedef 2013-04-08 00:37:49

記住'^'是epsilon（空符號）所以，'S - > SaS ---> ba^---> ba'在上一步中是正確的，我們將'S ---> ^'替換爲null表示沒有符號。它在概念上使用，但不是語言符號。 – 2013-04-08 19:47:41

是的。上下文無關文法中的每個變量獨立於所有其他變量（即「上下文無關」部分），因此它們可以擴展到不同的字符串。在你的情況下，ba確實是你指定的原因，是語法語言。

希望這會有所幫助！

來源

2013-04-08 00:37:38 templatetypedef

CFG示例：可以將double變量替換爲2個不同的賦值？

回答

相關問題