Module 15: Reaching Definition
  Lecture 29: Reaching Definition
 


First Pass

 
If we do not distinguish between and then

Second Pass

in(if) = in(if-then)
in(then) = (in(if))

If we do not distinguish between the true and the false parts

in(if) = in(if-then)
in(then) = (in(if))

If-then-else Construct

First Pass

-then –else = (F then ) (F else o )

Second Pass

in(if) = in(if-then-else)
in(then) = (in(if))
in(else) = (in(if))