## Discussion Forum

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 |