Consider the language of logic expressions in Scheme. A simple expression is represented by the terminal...

Transcribed Image Text:

Consider the language of logic expressions in Scheme. A simple expression is represented by the terminal symbol e (to make the language description easier). A composed expression consists of a selection with one branch or two branches (if ou if-else). The value of (if #t x) is x; the one for (if #f x) est # . Some expressions of such a language are: e (if e e) (if e e e) (if e (if e (if e e) e) (if (if e e e) e)) Write a context free grammar which represents the above language. Use as a start symbol. Consider the language of logic expressions in Scheme. A simple expression is represented by the terminal symbol e (to make the language description easier). A composed expression consists of a selection with one branch or two branches (if ou if-else). The value of (if #t x) is x; the one for (if #f x) est # . Some expressions of such a language are: e (if e e) (if e e e) (if e (if e (if e e) e) (if (if e e e) e)) Write a context free grammar which represents the above language. Use as a start symbol.