In any given expression e, a bound variable is one whose binding location is in

Question

In any given expression e, a bound variable is one whose binding location is in e, while a free variable is one whose binding location is not in e e2 rightarrow e2' e1 + e2 rightarrow e1 + e2' We observe that the line of the body of the step function pattern matches on input e. In order to capture this inference rule in code we might use the following road map: e1 + e2 The body of the case should implement all store step of e2 to the variable e2' The body of this case returns the expression represented to the of the rightarrow in the

Explanation / Answer

in BOUND , such as in the notation e1[e2/x] is read as in expression CAPTURE- AVOIDING EXPRESSION replace all OPEN instances of x with e2.

two issues can rise around replacing FREE variables in e1, namely if x is not uniquely named, or if there are variables of the same name in both e1 and e2. to resolve this, we can REPLACE all RENAMED variables in e1, thus avoiding any potential naming conflics during replacement.

not sure with the 2 question

judgement form , eval, premices, small step operational semantic, variable environment, step, left, right.

Related Questions

Navigate

• Browse (All)
• Browse I
• Subjects

---

---

Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.