L={W1W2 | where W1 is not equal to W2 and |W1|=|W2|}$L=\{W_1W_2 \mid W_1 \ne W_2 \: \text{and} \: |W_1|=|W_2|\}$
Alphabet = { a , b }*
Considering L={WW} is not context free, shouldn't this be non context free as well? otherwise can you provide a machine or grammar which accepts this?