Browsing AI Memos (1959 - 2004) by Author "Wand, Mitchell"

Now showing items 1-2 of 2

    • A Concrete Approach to Abstract Recursive Definitions 

      Wand, Mitchell (1972-06-01)
      We introduce a non-categorical alternative to Wagner's Abstract Recursive Definitions [Wg-1,2] using a generalization of the notion of clone called a u-clone. Our more concrete approach yields two new theorems: 1.) the ...

    • Theories, Pre-Theories and Finite State Transformations on Trees 

      Wand, Mitchell (1971-05-01)
      The closure of an algebra is defined as a generalization of the semigroup of a finite automation. Pretheories are defined as a subclass of the closed algebras, and the relationship between pretheories and the algebraic ...