context free languages under SCRAMBLE operation



A question from a practice exam found online...(also in Sipser, I believe)

For strings w and t, write w =' t if the symbols of w are a permutation of the symbols of t.
In other words, w =' t if t and w have the same symbols in the same quantities, but possibly
in a different order.
For any string w, define SCRAMBLE(w) = {t | t =' w}. For any language A, let SCRAMBLE(A) = {t | ϵ SCRAMBLE(w) for some w ϵ A}.
a. Prove that, if Σ = {0, 1}, then the SCRAMBLE of a regular language is context free.
b. What happens in part (a) if Σ contains 3 or more symbols? Prove your answer.



For part (a) I think this can be proven by simply noting that the DFA
which accepts the regular language to be scrambled can simply have its state transitions re-arranged to accept the SCRAMBLE of the language.
This is de facto context free since every regular language is in turn context free.
Am I right?
For part (b) if the language of (a) has 3 or more symbols than it is
not context free, I believe, however I am not sure how to prove this?
Perhaps a counter example? How about this counter example,
The language containing strings like
cabcab
is obviously regular, however we know from a previous result that
strings of the form a^nb^nc^n n>=0 are not context free.
Is that a sufficient proof?
.



Relevant Pages

  • Re: Proving a Language Is Not a CFL
    ... If A is a CFL and B is a regular language, then the intersection of A ... and B is context free. ...
    (comp.theory)
  • Re: Proving a Language Is Not a CFL
    ... If A is a CFL and B is a regular language, ... A and B is context free. ... show that the language C ... is regular and is a subset of C so the intersection of C and D is D ...
    (comp.theory)
  • Re: add support for other languages
    ... language DLLs or a single DLL with multiple language support, ... Just compile in Unicode ... You can create a hand-edited resource that contains Unicode strings, but you have to do it ... I don't know where is the language support comes into ...
    (microsoft.public.vc.mfc)
  • Re: Two Questions about "strlen", "strcat" and "strcpy"
    ... >>Important is that we have in the standard language a way of using ... > No. zero terminated strings is the whole problem in the first place. ... > programmer to think in terms of implementation and constantly respin ... The standards comitee refuses any change, ...
    (comp.lang.c)
  • Re: GNU gettext
    ... The gettext documentation explains how the keys work. ... translation files, or that you'd need to write a small utility to help ... gettext was desined for plain C, the keys are C strings ... as a developer you have no clue what every language ...
    (microsoft.public.dotnet.languages.csharp)