文脈自由言語Lと通常言語Mの共通部分は、常に文脈自由であると言われています。クロスプロダクト構築の証明は理解しましたが、なぜコンテキストフリーであるが通常ではないのかはまだわかりません。
このような共通部分によって生成される言語には、PDA と DFAの両方で受け入れられる文字列があります。DFAで受け入れられているので、通常の言語ではないでしょうか?さらに、交差点が規則的である場合、すべての正規言語にも文脈がないため、文脈がないことを意味します。
誰かがそのような交差点によって得られた言語が規則的でない理由を私に説明できますか?
12
。*を通常の言語およびそのコンテキストのない言語との交差点として考えてください。
—
AProgrammer
それはコンテキストのないものの文字列でしょう。ただし、これらの文字列は通常の言語でも生成されるため、コンテキストフリー言語であり、通常の言語でもあります。
—
sanjeev mk
言語は通常のものである可能性があります。しかし、通常はそうではありません。AProgrammerの反例についてもう一度考えてください。おそらく答えでしょう。すべての文脈自由言語は、通常の言語のサブセットです。言語CFとREGの共通部分がREGのDFAによって受け入れられるのは事実ですが、拒否されるものも重要です。
—
カロリスJuodelė13年
@DW Relevantだが、誰かがそれをだましだと提案したが、それはそうではない。この質問は、交差点が常に規則的ではない理由を尋ねています。もう1つは、交差点が常に不規則であるとは限らない理由を尋ねていることです。この質問の特定の設定(DFAとPDAの両方で受け入れられる文字列について話しているため、DFAで受け入れられているため、言語は規則的ですか?)本当にこれによく答えます。
—
デビッドリチャービー