669 views
0 votes
0 votes

1 Answer

Best answer
2 votes
2 votes

This is actually a decidability problem and hence can be redefined as :

Given a string and a PDA , whether a string belongs to language accepted by the PDA ..

                                        (or simply)

Membership property of CFL class of languages

So this property is decidable as we can membership algorithms for CFLs like CYK algo , LL(1) parsing algo and LR(1) parsing algorithms.

So since there is an algorithm to check the membership (acceptance) of string given a PDA or CFL , hence the problem is decidable..And this problem is depicted by language L as mentioned..Hence L is decidable and hence recursive as "recursive" and "decidable" are used synonymously..

Hence D) is the correct answer.. 

selected by

Related questions

1 votes
1 votes
2 answers
1
Akash Mishra asked Jan 31, 2018
3,670 views
Is membership problem for TM decidable or undecidable?
0 votes
0 votes
1 answer
2
Sanjay Sharma asked Jul 3, 2016
4,791 views
Which of the following problem is undecidableMembership problem for CFLMembership problem for CSLMembership problem for regular setMembership problem for type 0 languages...
1 votes
1 votes
0 answers
4
alexmurugan asked Nov 3, 2023
396 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.