|Que.||Assume the statements S1 and S2 given as:
S1: Given a context free grammar G, 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?
|a.||S1 is correct and S2 is not correct|
|b.||Both S1 and S2 are correct|
|c.||Both S1 and S2 are not correct|
|d.||S1 is not correct and S2 is correct|
|Answer:S1 is correct and S2 is not correct|