BibTeX
@MISC{Oostrom97finitefamily,
author = {Vincent Van Oostrom},
title = {Finite Family Developments},
year = {1997}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Consider Adam and Eve. Count generations starting from them. Supposing that there will always be people, then it's true that for any generation X, eventually there will be people belonging to the next generation X + 1. In this paper the same result is established for the class of higher order pattern rewriting systems. 1 Introduction Consider a set of structures and a set of transformations on them specifying how a structure may be transformed into another one. Suppose the transformations are of the following form: first a structure is decomposed into substructures, next some substructure is replaced by another one, and finally the substructures are composed into a structure again. (destroy) The parts of the initial structure eliminated in the course of the transformation (i.e. the parts of the replaced substructure as well as the parts eliminated in the initial decomposition) can be thought of as being destroyed . (create) The parts of the final structure introduced in the cou...
