0 votes 0 votes consider the language L={(M,w)| w belongs L(M)} where M is pushdown auntomata then a)L is regular b)L is cfl c) L is csl d) L is REcursive. it should be CFL but answer is Recursive why? Theory of Computation theory-of-computation + – aaru14 asked Nov 15, 2017 aaru14 138 views answer comment Share Follow See 1 comment See all 1 1 comment reply Rupendra Choudhary commented Nov 16, 2017 reply Follow Share Membership problem for CFL is decidable means REC. 0 votes 0 votes Please log in or register to add a comment.