Computer Science Canada

Deterministic PDA for a particular CFL

Author:  gerel [ Tue Oct 28, 2008 11:45 am ]
Post subject:  Deterministic PDA for a particular CFL

Hi all,

I was wondering If a determinstic PDA can be constructed for this particular language:

L = {a^n b^(2n) c^k | n>=0, k>=1} U {a^n b^n c^k | n>0, k>=0}
Terminals = {a,b,c}

I managed to get a DPDA for each one separately but I couldn't get the DPDA for the union.

thanks in advance.
cheers


: