retagged by
1,667 views
0 votes
0 votes

Can the NPDA constructed to accept L, such that L = L1 U L, L1 = {1n 0n | n > 0} and L2 = {0n 12n | n > 0} be drawn like this?

This is an informal representation of NPDA. Is this correct?

Or should the NPDA accepting language L should have 2 final states? 

retagged by

1 Answer

0 votes
0 votes

CFL is closed under union and both L1 and L2 are DCFL so L is CFL.

Now second point is ,your rough state transition diagram correct or not. No its NOT correct , in this diagram you considered L1= {0n 1n | n>0}

Related questions

0 votes
0 votes
0 answers
1
Ashwin Kulkarni asked Dec 24, 2017
907 views
I'm getting its equaltion {anbn | n 0} U {a} U {b}But given is {anbn | n >= 0} U {a} U {b}Whether epsilon is accepted or not??
1 votes
1 votes
1 answer
2
ashutoshaay26 asked Aug 15, 2017
1,156 views
What is main difference between Deterministic Push down automata and simple Push down automata ?
1 votes
1 votes
0 answers
3
alexmurugan asked Nov 3, 2023
362 views
Design the Push down Automata for the language L={anbmc2nd3m,n,m>=1}.Check the acceptance string by both the empty stack and final state method.