913 views
1 votes
1 votes

Is the following problem decidable-:

1. Given a deterministic context-free grammar G, is L(G) = Σ*  for some alphabet Σ ?

Please also provide explaination.

2 Answers

1 votes
1 votes

It is decidable. Since DCFLs are closed under complementation,find if L’(L complement) = empty language. 

If L’ is empty then L is complete or L(G) = Σ*  .

Related questions

0 votes
0 votes
0 answers
3
Na462 asked Jan 21, 2019
776 views
0 votes
0 votes
0 answers
4
Ayush Upadhyaya asked Jan 13, 2019
442 views
From http://www.cs.rice.edu/~nakhleh/COMP481/final_review_sp06_sol.pdf $L_{26}=\{<M>|$ M is a TM such that both L(M) and $\lnot L(M)$ are infinite $\}$I was unable to get...