I've been trying to make a CFG, and npda/pda for this language (to construct an npda for accepting the language):
L(M)={ww:w∈{a,b}∗,|w| is even}.
i had already solved the reverse of the language (like this):
L′={wwR:w∈{a,b}∗},
Please check this snapshot to know what i am asking to do ! (L') : http://i921.photobucket.com/albums/ad53/Johann_1990/IMG_20150117_132616.jpg
but is there is a way to solve this L(M)={ww:w∈{a,b}∗,|w| is even}?
For example, abaaba∈L with w=aba.
Note that I'm not asking to prove by conduction or anything else.
Asked By : AaoIi
Answered By : lukas.coenig
Short answer: $L$ is not context-free, so there is no CFG/PDA.
Best Answer from StackOverflow
Question Source : http://cs.stackexchange.com/questions/37315
0 comments:
Post a Comment
Let us know your responses and feedback