संदर्भ-मुक्त व्याकरण के लिए पहले और बाद के सेट हमेशा संदर्भ-मुक्त होते हैं?


14

आज्ञा देना G एक संदर्भ मुक्त व्याकरण है। टर्मिनल और की nonterminals की एक स्ट्रिंग G एक होना कहा जाता है sentential रूप से G अगर आप इसे का निर्माण लगाने से प्राप्त कर सकते हैं G की शुरुआत प्रतीक को शून्य या अधिक बार S । चलो SF(G) के sentential रूपों में से सेट हो G

चलो और जाने β की सबस्ट्रिंग हो अल्फा - हम फोन β एक टुकड़ा के एस एफ ( जी ) । अब छोडोαSF(G)βαβSF(G)

Before(β)={γ | δ.γβδSF(G)}

तथा

After(β)={δ | γ.γβδSF(G)}

कर रहे हैं और बाद ( β ) विषय से मुक्त भाषाओं? यदि जी असंदिग्ध है तो क्या होगा ? तो जी स्पष्ट है, कर रहे हैं इससे पहले कि ( β ) और बाद ( β ) भी एक स्पष्ट विषय से मुक्त भाषा द्वारा वर्णनीय?Before(β)After(β)GGBefore(β)After(β)

यह मेरे पहले प्रश्न का अनुवर्ती है , बाद में मेरे प्रश्न को उत्तर देने में आसान बनाने के पहले के प्रयास में विफल रहा। नकारात्मक उत्तर देने से प्रश्न का उत्तर देने में बहुत कठिनाई हो रही है।

जवाबों:


8

हमारे लिए एक महसूस पाने के चलो और बाद ( β ) पहले। एक व्युत्पत्ति पेड़ जिसमें विचार करें β ; "शामिल है" यहाँ मतलब है कि आप दूर subtrees कटौती कर सकते हैं ताकि β पेड़ के सामने के एक subword है। फिर, इससे पहले (के बाद) सेट पेड़ की ओर के सभी संभावित मोर्चों छोड़ दिया (दाएं) के हैं β :Before(β)After(β)βββ

tree with before and after sets
[ स्रोत ]

इसलिए हमें पेड़ के क्षैतिज रूप से पंक्तिबद्ध (लंबवत पंक्तिबद्ध) भाग के लिए एक व्याकरण का निर्माण करना होगा। यह काफी आसान लगता है क्योंकि हमारे पास पहले से ही पूरे पेड़ के लिए एक व्याकरण है; हम सिर्फ सुनिश्चित करें कि सभी sentential रूपों शब्द (अक्षर बदल), फिल्टर दूर उन है कि शामिल नहीं है कर रहे हैं बनाने के लिए है (कि एक नियमित संपत्ति के रूप में है β तय हो गई है) और के बाद (पहले) सब कुछ दूर कटौती β , सहित β । यह कटिंग भी संभव होनी चाहिए।ββββ


अब एक औपचारिक प्रमाण के लिए। हम व्याकरण को रूपांतरित करेंगे और फ़िल्टरिंग और कटिंग करने के लिए क्लोजर गुणों का उपयोग करेंगे , अर्थात हम एक गैर-रचनात्मक प्रमाण का प्रदर्शन करते हैं।CFL

Let एक विषय से मुक्त व्याकरण। यह देखना आसान है कि एसएफ ( जी ) संदर्भ-मुक्त है; निर्माण जी ' = ( एन ' , टी ' , δ ' , एन एस ) इस तरह:G=(N,T,δ,S)SF(G)G=(N,T,δ,NS)

  • N={NAAN}
  • T=NT
  • δ={α(A)α(β)Aβδ}{NAAAN}

साथ के लिए सभी टी टी और α ( एक ) = एन सभी के लिए एक एन । यह स्पष्ट है कि एल ( जी ) = एसएफ ( जी ) ; इसलिए इसी उपसर्ग बंद करने Pref ( SF ( G ) ) और प्रत्यय बंद करने Suff ( SF ( G ) ) संदर्भ-मुक्त, too are हैं।α(t)=ttTα(A)=NAaNL(G)=SF(G)Pref(SF(G))Suff(SF(G))

अब, किसी के लिए हैं एल ( बीटा ( एन टी ) * ) और एल ( ( एन टी ) * बीटा ) नियमित भाषाओं। चूंकि सी एफ एल चौराहे के नीचे बंद है और नियमित भाषाओं के साथ दाएं / बाएं भागफल , हमें मिलता हैβ(NT)L(β(NT))L((NT)β)CFL

Before(β)=(Pref(SF(G))  L((NT)β))/βCFL

तथा

After(β)=(Suff(SF(G))  L(β(NT)))βCFL


¹ CFL is closed under right (and left) quotient; Pref(L)=L/Σ and similar for Suff yield prefix resp. suffix closure.


I started to write an answer then realized my proof was the same as yours. I'd have put it this way (compressed to fit here): form a grammar G by adding a new terminal A^ (a metavariable) for each non-terminal A and a production AA^. Then sentential forms of G are the words recognized by G that consist of metavariables. This is the intersection of a CFG with a regular language and thus is regular. The prefix set of a CFG is a CFG (take a PDA and make every state final). Before(γ)={γγβL(Prefix(G^))} is again a CFG.
Gilles 'SO- stop being evil'

1
@Gilles, three comments on that: 1) the sentential forms typically (properly) contain the language. 2) "make every state final" -- that won't work; you'll accept prefixes of non-words, too. 3) The last step of "cutting off" a suffix seems to be tricky to get rigorous. :/ Do you have a rigorous but more compact proof than mine?
Raphael

1) doesn't matter (change G to have or not have a nonterminal for each terminal). 2) Oops, I cut off too much: make every state that can reach a final state final. 3) Do it one terminal b at a time; in the PDA, mark the states from which one can reach a final state by consuming b as final instead. Yes, it would take more expansion to make this rigorous.
Gilles 'SO- stop being evil'

9

Yes, Before(β) and After(β) are context-free languages. Here's how I would prove it. First, a lemma (which is the crux). If L is CF then:

Before(L,β)={γ | δ.γβδL}

and

After(L,β)={γ | δ.δβγL}

are CF.

Proof? For Before(L,β) construct a non-deterministic finite-state transducer Tβ that scans a string, outputting every input symbol it sees and simultaneously searches non-deterministically for β. Whenever Tβ sees the first symbol of β it forks non-deterministically and ceases outputting symbols until either it finishes seeing β or it sees sees a symbol that deviates from β, stopping in either case. If Tβ sees β in full, it accepts upon stopping, which is the only way it accepts. If it sees a deviation from β, it rejects.

The lemma can be jiggered to handle cases where β could overlap with itself (like abab -- keep looking for β even while in the midst of scanning for a prior β) or appears multiple times (actually, the original non-determinisic forking already handles that).

It's fairly clear that Tβ(L)=Before(L,β), and since the CFLs are closed under finite-state transduction, Before(L,β) is therefore CF.

A similar argument goes for After(L,β), or it could be done with string reversals from Before(L,β) , CFLs also being closed under reversal:

After(L,β)=rev(Before(rev(L),rev(β)))

Actually, now that I see the reversal argument, it would be even easier to start with After(L,β), since the transducer for that is simpler to describe and verify -- it outputs the empty string while looking for a β. When it finds β it forks non-deterministically, one fork continuing to look for further copies of β, the other fork copying all subsequent characters verbatim from input to output, accepting all the while.

What remains is to make this work for sentential forms as well as CFLs. But that is pretty straightforward, since the language of sentential forms of a CFG is itself a CFL. You can show that by replacing every non-terminal X throughout G by say X, declaring X to be a terminal, and adding all productions XX to the grammar.

I'll have to think about your question on unambiguity.

हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.