0

私は通常の言語を特定することにかなり迷っています。

Rが正規言語の場合、A = RRの場合、Rの連結であるため、Aは正規言語であることを知っています

しかし、B = {ww| w <- R} レギュラー?

私の最初の本能はイエスでした。それは R の連結でもあるからです。しかし、それは連結のサブセットであるため、そのように証明することはできないと感じています。次に、 w は正規言語の文字列であり、シングルトンの連結であり、それらの連結であると考えていました...そのように考えると、何がそうでないのでしょうか? 今ではそうではないと言う傾向があります。正規表現が本当に見つからないからです。ポンピング補題を使ってみたかったのですが、この例に適用するのは本当に難しいです。

誰でも提案できますか?私が従うべき正しい道でさえ素晴らしいでしょうか?

4

1 に答える 1

3

先に進んで、ポンピング補題を試してください。たとえば、次のような非常に単純な正規表現から始めます。

R = ab*

この時点で、それが正則でないことを証明しようとしているので、必要なのは 1 つの反例だけです。したがって、任意のRを選択できます。(上記は問題なく動作します。)

于 2011-10-23T08:24:16.873 に答える