我真的很感谢你的帮助，决定字母{0,1}上的所有单词的语言是否都是以同一方式{ w | w <> wR }无法从双方读取的，是一种语境 - 自由语言（也就是说，它可以转换成特定的语法规则）。
我试图用泵引理来证明它不是一种无上下文的语言，但是我找不到会导致我矛盾的字符串。
有什么建议吗？
答案 0 :(得分：11)
如果我正确地阅读了您的问题，那么您正在寻找一组非回答语言是否是无语境的语言。
这是一种无上下文的语言：
S --> 0S0 | 1S1 | R
R --> 0V1 | 1V0
V --> 0V0 | 1V1 | R | 1 | 0 | ε
从S开始，概念是从外部构建字符串.S允许您根据需要放置尽可能多的匹配的1或零（可能没有），直到达到R的情况为止-比赛。从那里你可以放置匹配或不匹配（因为此时我们已经保证不会成为回文。）这足以描述所有非回文 - 从外部到在，它们从零个或多个匹配对开始，然后是一个不匹配对，然后是零个或多个对（匹配与否）。最后，中间可能有也可能没有角色。
P.S。如果你还没有它，那么Sipser关于计算理论的书无疑是非常好的。事实上，这是我不时阅读的唯一一本大学书。
答案 1 :(得分：2)
这个问题无疑是我作为一名计算机科学家的问题。但是，作为数学家，我在这里有所贡献。
如果w本身是无上下文的语言，a closure exists to solve the reversal of w：
在以下操作下关闭无上下文语言。那 是，如果
L和P是无上下文的语言，则使用以下语言 无上下文：...
- L
的逆转
这似乎就是这里所要求的。 These references提供了有关如何推导出初始和后续封闭表格的其他背景信息。