私は通常の言語を特定することにかなり迷っています。
Rが正規言語の場合、A = RRの場合、Rの連結であるため、Aは正規言語であることを知っています
しかし、B = {ww| w <- R} レギュラー?
私の最初の本能はイエスでした。それは R の連結でもあるからです。しかし、それは連結のサブセットであるため、そのように証明することはできないと感じています。次に、 w は正規言語の文字列であり、シングルトンの連結であり、それらの連結であると考えていました...そのように考えると、何がそうでないのでしょうか? 今ではそうではないと言う傾向があります。正規表現が本当に見つからないからです。ポンピング補題を使ってみたかったのですが、この例に適用するのは本当に難しいです。
誰でも提案できますか?私が従うべき正しい道でさえ素晴らしいでしょうか?