Noam Chomsky - 正式语言 - 类型1 - 上下文敏感语法
AB-＆gt; BA是否违反规定？我认为确实如此。 A - ＆gt; aAB没有违反条件？ aAB-＆gt; ABc违反了条件？
答案 0 :(得分：1)
使用提供的维基百科链接，如果您可以将生产规则映射到表单，则可以回答每个问题：
iAr - ＆gt; ibr，其中A是单个非终端，i和r是（可能是空的）终端和非终端串，b是非空终端和非终端串。
换句话说，查看每个规则，并尝试为i，A，r和b做出合适的选择。
在我们查看您的问题之前，让我们看看一些假设的例子：
CRC - ＆gt; CRRRRRC是一个有效的上下文敏感规则吗？
是。我可以选择i =空，A = C，r = RC，b = CRRRR。请注意，我本可以做出其他有用的选择。
是xYz - ＆gt; xWzv是一个有效的上下文相关规则吗？
没有。 i，A和r没有选择允许匹配。如果我选择i = x A = Y，r = z，并且b = W，则尾随v将事物搞定。
是xY - ＆gt; xWzv是一个有效的上下文相关规则吗？
是。我可以选择i = x，A = Y，r =空，b = Wzv。
这是您应该用来回答问题的方案。现在，让我们来看看：
AB - ＆gt; BA：假设您选择A或B作为您的单一非终端。选择修复了i和r（一个将为空，另一个将是您未选择的非终端）。根据你修复i和r的方式，是否有一个ibr形式的字符串可以匹配？换句话说，您可以选择要替换映射到规则的字符串吗？
A - ＆gt; αAB内。我希望在左边选择你的单个非终端是直观明显的。这个选择将再次修复i和r。是否正确映射到合适的ibr形式，其中b是非空的终端和非终结符串？
aAB - ＆gt; ABC。再次，选择A或B作为您的单个非终端。这修复了我和r。有没有选择可以让你选择合适的ibr？