Repository logo
Log in(current)
Repository logoMIT Open ScholarshipDSpace@MIT
  1. Home
  2. Computer Science and Artificial Intelligence Lab (CSAIL)
  3. Artificial Intelligence Lab Publications
  4. AI Memos (1959 - 2004)
  5. A Concrete Approach to Abstract Recursive Definitions

A Concrete Approach to Abstract Recursive Definitions

Thumbnail Image
Download
Name

AIM-262.pdf

Size

530.6 KB

Format

Adobe PDF

Checksum (MD5)

8e4b764d80570373b581c4c0dbd49514

Thumbnail Image
Download
Name

AIM-262.ps

Size

4.7 MB

Format

PostScript

Checksum (MD5)

677ec03e8eb43d5cb64fca1d83d58a8b

Author(s)
Wand, Mitchell
Date Issued
June 1, 1972
Series/Report no.
AIM-262
Abstract
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 free u-clone generated by a ranked set is isomorphic to the set of loop-representable flow diagrams with function symbols in the set, 2.) For every element of a u-clone there is an expression analogous to a regular expression. Several well-known theorems of language and automata theory are drawn as special cases of this theorem.
Persistent DSpace Link
http://hdl.handle.net/1721.1/6207
Repository logo
PrivacyPermissionsAccessibilityContact us
Repository logo
Notify us about copyright concerns.