我在识别常规语言方面很迷失。
我知道如果R是一种正则语言，那么如果a = RR，因为是R的串联，因此a是一种正则语言
但是B = {ww| w <- R}是正则的吗?
我的第一反应是肯定的。因为它也是R的串联。但由于它是串联的一个子集，我觉得我不能那样证明它。然后我在想，既然w是一个正则语言的字符串，它是单例的连接，那么它们的连接…我知道我有点偏离轨道了，因为我是这么想的，还有什么不是呢?现在我更倾向于说它不是。因为我真的找不到它的正则表达式。我想尝试使用抽运引理，但它真的很难应用到这个例子中。
谁能给点建议?哪怕有一条正确的路让我走也很好?继续尝试抽水引理。从一个非常简单的正则表达式开始，例如:
R = ab*
因为此时你要证明它不是正则的，所以你只需要一个反例。所以你可以选择任何你喜欢的R。