GATE CS Parsing (LL, LR) questions

Consider the CFG with $\left\{S, A, B\right\}$ as the non-terminal alphabet, $\{a, b\}$ as the terminal alphabet, $S$ as the start symbol and the following set of production rules: $S \rightarrow aB$ $S \rightarrow bA$ $B \rightarrow b$ $A \rightarrow a$ $B \rightarrow bS$ $A \rightarrow aS$ $B \rightarrow aBB$ $A \rightarrow bAA$ For …

Consider the CFG with $\left\{S, A, B\right\}$ as the non-terminal alphabet, $\{a, b\}$ as the terminal alphabet, $S$ as the start symbol and the following set of production rules: $S \rightarrow aB$ $S \rightarrow bA$ $B \rightarrow b$ $A \rightarrow a$ $B \rightarrow bS$ $A \rightarrow aS$ $B \rightarrow aBB$ $A \rightarrow bAA$ Which …

Consider the following two statements: P: Every regular grammar is LL(1) Q: Every regular set has a LR(1) grammar Which of the following is TRUE?

Consider the grammar with non-terminals $N=\left\{S,C,S_1\right\}$, terminals $T=\left\{a, b, i, t, e\right\}$, with $S$ as the start symbol, and the following set of rules: $S \rightarrow iCtSS_1 \mid a$ $S_1 \rightarrow eS \mid \epsilon$ $C \rightarrow b$ The grammar is NOT LL(1) because:

Which one of the following is a top-down parser?

The grammar $S\rightarrow AC\mid CB$ $C\rightarrow aCb\mid \epsilon$ $A\rightarrow aA\mid a$ $B\rightarrow Bb\mid b$ generates the language $L=\left \{ a^{i}b^{j}\mid i\neq j \right \}$. In this grammar what is the length of the derivation (number of steps starting from $S$) to generate the string $a^{l}b^{m}$ with $l\neq m$

Which one of the following grammars generates the language $L=\left \{ a^{i}b^{j}\mid i\neq j \right \}$?

Consider the following translation scheme. $S\rightarrow ER$ $R\rightarrow *E\left \{ \text{print}(\text{‘}*\text{’}); \right \} R\mid \varepsilon$ $E\rightarrow F+E\left \{ \text{print}(\text{‘}+\text{’}); \right \}\mid F$ $F\rightarrow (S)\mid id \left \{ \text{print}(id.value); \right \}$ Here $id$ is a token that represents an integer and …

Consider the following statements about the context free grammar $$G = \left \{ S \rightarrow SS, S \rightarrow ab, S \rightarrow ba, S \rightarrow \epsilon \right \}$$ $G$ is ambiguous $G$ produces all strings with equal number of $a$’s and $b$’s $G$ can be accepted by a deterministic PDA. Which combination below expresses all the true statements …

Consider the following grammar $S \rightarrow S * E$ $S \rightarrow E$ $E \rightarrow F + E$ $E \rightarrow F$ $F \rightarrow id$ Consider the following LR(0) items corresponding to the grammar above $S \rightarrow S *.E$ $E \rightarrow F. + E$ $E \rightarrow F + .E$ Given the items above, which two of them will appear in the same set in the …

Consider the following expression grammar. The semantic rules for expression evaluation are stated next to each grammar production. …

Consider line number $3$ of the following C-program. int main() { /*Line 1 */ int I, N; /*Line 2 */ fro (I=0, I<N, I++); /*Line 3 */ } Identify the compiler’s response about this line while creating the object-module:

Statement for Linked Answer Questions 83a & 83b: Consider the following expression grammar. The semantic rules for expression evaluation are stated next to each grammar production. …

Consider the grammar: $$S \rightarrow (S) \mid a$$ Let the number of states in SLR (1), LR(1) and LALR(1) parsers for the grammar be $n_1, n_2$ and $n_3$ respectively. The following relationship holds good:

Consider the grammar: $$E \rightarrow E + n \mid E \times n \mid n$$ For a sentence $n + n \times n$, the handles in the right-sentential form of the reduction are:

The grammar $A \rightarrow AA \mid (A) \mid \epsilon$ is not suitable for predictive-parsing because the grammar is:

Consider the following grammar G: $S \rightarrow bS \mid aA \mid b$ $A \rightarrow bA \mid aB$ $B \rightarrow bB \mid aS \mid a$ Let $N_a(w)$ and $N_b(w)$ denote the number of a’s and b’s in a string $\omega$ respectively. The language $L(G)$ over $\left\{a, b\right\}^+$ generated by $G$ is

Consider a program $P$ that consists of two source modules $M_1$ and $M_2$ contained in two different files. If $M_1$ contains a reference to a function defined in $M_2$ the reference will be resolved at

Which of the following grammar rules violate the requirements of an operator grammar? $P, Q, R$ are nonterminals, and $r, s, t$ are terminals. $P \rightarrow Q R$ $P \rightarrow Q s R$ $P \rightarrow \: \varepsilon$ $P \rightarrow Q t R r$

Consider the translation scheme shown below. $S \rightarrow T\;R$ $R \rightarrow + T \{\text{print}(‘+’);\} R\mid \varepsilon$ $T \rightarrow$ num $\{\text{print}$(num.val)$;\}$ Here num is a token that represents an integer and num.val represents the corresponding integer value. For an input string ‘$9 + 5 + 2$’, this translation scheme will …