Create CFG and pushdown automaton for {ww}

Question

I've been trying to make a CFG, a pushdown automaton and a regular expression for the language

$\qquad L(M) = \{ww : w \in \{a, b\}^*, |w| \text{ is even}\}$.

I understand how the reverse of the string work, that is

$\qquad L' = \{ ww^R : w \in \{a, b\}^*\}$,

but is there is a way to solve this one too?
$\qquad L(M) = \{ww : w \in \{a, b\}^*, |w| \text{ is even}\}$.

For example, $abaaba \in L$ with $w = aba$.

Note that $ww = abaaba$ is a bad example (as in, you don't learn anything from it) here as $w = w^R$. — Raphael, Jan 16 '15 at 14:58
@Raphael , i need to train my self for any example.. when i am learning ! i know how to make the reverse of string pushdown or cfg, i was just trying something new! Thank you ! — FixoMiFa, Jan 16 '15 at 20:52
@D.W.,its not the same question am talking about another thing completely.. — FixoMiFa, Jan 16 '15 at 20:53

score 1 · Accepted Answer · edited Apr 13 '17 at 12:48

1

You can not do so as $L$ is not context-free.

See our reference questions for how to prove that, i.e.

edited Apr 13 '17 at 12:48

Community

answered Jan 16 '15 at 12:30

Raphael

so are you saying that it cannot be proved ? only the reverse of the string can be proved ? – FixoMiFa Jan 16 '15 at 13:00
@AaoIi That's what I'm saying, yes. At least, your first statement. I don't understand the second. – Raphael Jan 16 '15 at 14:54
I'm saying that this L′={wwR:w∈{a,b}∗}, I've seen that its accomplished in cfg and pushdown automata , so why L={ww:w∈{a,b}∗,|w| is even}.cannot be accomplished ? prove is not what I'm asking for, I'm asking for making the cf grammar for it as S -->aB and drawing the pushdown ? – FixoMiFa Jan 16 '15 at 15:34
1

I recommend you read some literature covering the basics and then go read the questions I link. (Your terminology is shaky; what is "accomplish"?) The answers are all there, hence I only link. (Hint: "L is not context-free" implies "there is no context-free grammar, pushdown-automaton or regular expression for L".) – Raphael Jan 16 '15 at 15:38
i got it, I'm just trying to understand Formal Language and Automata, Thank you for you help :) – FixoMiFa Jan 16 '15 at 15:42

1 Answers1