Arithmetic Computations and Memory Management Using a Binary Tree Encoding af Natural Numbers
Description:
Two applications of a binary tree data type based on a simple pairing function (a bijection between natural numbers and pairs of natural numbers) are explored. First, the tree is used to encode natural numbers, and algorithms that perform basic arithmetic computations are presented along with formal proofs of their correctness. Second, using this "canonical" representation as a base type, algorithms for encoding and decoding additional isomorphic data types of other mathematical constructs (set…
more
Date:
December 2011
Creator:
Haraburda, David
Partner:
UNT Libraries