Given the following statements:
$S_1: \text{ The grammars }S \rightarrow asb \mid bsa \mid ss \mid a \text{ and } S \rightarrow asb \mid bsa \mid a$ are not equivalent.
$S_2: \text{ The grammars }S \rightarrow ss \mid sss \mid asb \mid bsa \mid \lambda \text{ and } S \rightarrow ss \mid asb \mid bsa \mid \lambda $ are equivalent.
- $S_1$ is correct and $S_2$ is not correct
- Both $S_1$ ad $S_2$ are correct
- $S_1$ is not correct and $S_2$ is correct
- Both $S_1$ ad $S_2$ are not correct