Consider the following CFG with the eight terminals: true, false, ^, V, !, (, and )....

Transcribed Image Text:

Consider the following CFG with the eight terminals: true, false, ^, V, !, (, and ). expr → true | false expr A erpr | erpr V expr | ! expr | expr= expr | (expr) Indeed, the starting symbol is expr. Let's call this grammar G. This grammar is ambiguous, i.e., there exist at least two parse trees for some expression. For example, consider the following expression: !true ^ false V true (a) Give two different derivations for this expression such that the corresponding parse trees are differ- ent from each other. (10 points) (b) Give the corresponding parse trees for each derivation in the previous question. (10 points) true (c) Give the corresponding two ASTs. (10 points) (Hint: Note that operators A, V, ==, and ! can appear as interior nodes in AST. You may remove the nonterminal expr from ASTs as it does not convey any computational information.) (d) If you pass the ASTs from the previous question to an evaluator, what would be the final value in each case? (10 points) Consider the following CFG with the eight terminals: true, false, ^, V, !, (, and ). expr → true | false expr A erpr | erpr V expr | ! expr | expr= expr | (expr) Indeed, the starting symbol is expr. Let's call this grammar G. This grammar is ambiguous, i.e., there exist at least two parse trees for some expression. For example, consider the following expression: !true ^ false V true (a) Give two different derivations for this expression such that the corresponding parse trees are differ- ent from each other. (10 points) (b) Give the corresponding parse trees for each derivation in the previous question. (10 points) true (c) Give the corresponding two ASTs. (10 points) (Hint: Note that operators A, V, ==, and ! can appear as interior nodes in AST. You may remove the nonterminal expr from ASTs as it does not convey any computational information.) (d) If you pass the ASTs from the previous question to an evaluator, what would be the final value in each case? (10 points)

Answer rating: 100% (QA)

As the Grammer G is ambiguous so we generate a Grammer G given in the question where precedence is g... View the full answer