Assume that we have calculator erpressions expressions that

Assume that we have calculator erpressions, expressions that follow the syntax E (const num) (add E E) (sub E E) (mult E E) (div E E) Here are two example calculator expressions: This BNF notation for inductive sets will be explored in more detail later on in the course.

Solution

Lets say

E=num+r/987

Followed by radical expressions sigma 4#678

Then you can evaluate

E= num+addition