One extra case

• Is there a solution to X = f(X) ?

• NO!

  • if the height of X in the solution is n
  • then f(X) has height n+1

• Occurs check:

  • before substituting t for x
  • check that x does not occur in t

Previous slide

Next slide

Back to first slide

View graphic version