通常の言語とのコンテキストの交差


16

文脈自由言語Lと通常言語Mの共通部分は、常に文脈自由であると言われています。クロスプロダクト構築の証明は理解しましたが、なぜコンテキストフリーであるが通常ではないのかはまだわかりません。

このような共通部分によって生成される言語には、PDA DFAの両方で受け入れられる文字列があります。DFAで受け入れられているので、通常の言語ではないでしょうか?さらに、交差点が規則的である場合、すべての正規言語にも文脈がないため、文脈がないことを意味します。

誰かがそのような交差点によって得られた言語が規則的でない理由を私に説明できますか?


12
。*を通常の言語およびそのコンテキストのない言語との交差点として考えてください。
AProgrammer

1
それはコンテキストのないものの文字列でしょう。ただし、これらの文字列は通常の言語でも生成されるため、コンテキストフリー言語であり、通常の言語でもあります。
sanjeev mk

8
言語通常のものである可能性があります。しかし、通常はそうではありません。AProgrammerの反例についてもう一度考えてください。おそらく答えでしょう。すべての文脈自由言語は、通常の言語のサブセットです。言語CFとREGの共通部分がREGのDFAによって受け入れられるのは事実ですが、拒否されるものも重要です。
カロリスJuodelė13年


1
@DW Relevantだが、誰かがそれをだましだと提案したが、それはそうではない。この質問は、交差点が常に規則的ではない理由を尋ねています。もう1つは、交差点が常に不規則であるとは限らない理由を尋ねていることです。この質問の特定の設定(DFAとPDAの両方で受け入れられる文字列について話しているため、DFAで受け入れられているため、言語は規則的ですか?)本当にこれによく答えます。
デビッドリチャービー

回答:


20

LPMFPF

FFP

PFPFnnP(q,a,[q])PaPPF in general.

A trivial example is that A is regular, and if L is context-free but not regular then LA=L is context-free but not regular.


2
+1 I almost posted an answer that's equivalent to your last sentence. Frankly, the rest of the answer seems unnecessary. :)
Patrick87

did not get "adding (q,a,[q]) arrows between matching states in P where the DFA has a arrows.". Unable to visualize how the product PDA will be.
anir
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.