CameraIcon
CameraIcon
SearchIcon
MyQuestionIcon
MyQuestionIcon
1
You visited us 1 times! Enjoying our articles? Unlock Full Access!
Question

Assume the statements S1 and S2 given as:
S1: Given a context free grammer, there exists an algorithm for determining whether L(g) is infinite.
S2: There exists an algorithm to determine whether two context free grammars generate the same language.
Which of the following is true?

Open in App
Solution

The proof of S1 can be seen in various book of theory category undecidable so a contradiction to this assumption

flag
Suggest Corrections
thumbs-up
0
similar_icon
Similar questions
View More
Join BYJU'S Learning Program
similar_icon
Related Videos
thumbnail
lock
Closure Properties of CFL Part - 2
OTHER
Watch in App
Join BYJU'S Learning Program
CrossIcon