June 28, 2004

External Tree Representation

Recursive external representation:
  • ~ represents an empty tree.
  • X[n](t1, t2, ..., tn) represents a tree with t1 as the first dimensional child, t2 as the second dimensional child, etc., and n as a number indicating the location of the head of the local structure.
Example:
A=====B
      |
      |
      C------D
Where D is the head of the local structure rooted at A.
A(~,~,B[1](~,C[1](D,~,~),~)).
Posted by kernco at June 28, 2004 06:12 PM
Comments

So far so good. We need to define how the "number indicating the location of the head of the local structure" does so.

Thanks,
Jim

Posted by: Jim at June 28, 2004 10:58 PM