ABSTRACT FAMILIES OF PROCESSORS,
Abstract
A 'processor' is a Turing-like automaton with auxiliary storage. An 'abstract family' of processors (AFP) consists of all processors that use the storage in the same way. Properties common to all AFP are derived. For a family of operations to be the output functions of some AFP, it is necessary and sufficient that certain word-sets representing its members form a full AFL (i.e. abstract family of languages in the sense of Ginsburg and Greibach) closed under intersection and iterated finite substitution. For a family of word-sets to be the accepted languages of some AFP, it is necessary and sufficient that it be a full AFL closed under interaction and iterated finite substitution. The smallest full AFL of this kind is the family of all recursively enumerable sets. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- May 13, 1968
- Accession Number
- AD0680782
Entities
People
- Gene F. Rose
Organizations
- System Development Corporation