Terms

• A term is a tree with variables replacing subtrees

• Term:

  • A constant is a term
  • A variable is a term
  • A constructor with a list of > 0 terms is a term
  • Drawn with constructor above children

• Term equation: s = t (s,t terms)

Previous slide

Next slide

Back to first slide

View graphic version