IMAGES OF AFL UNDER CERTAIN FAMILIES OF HOMOMORPHISMS,
Abstract
An Abstract Family of Languages(AFL) is a family of sets of words closed under six basic operations. It is shown that a certain family of homomorphic images of sets in an AFL is an AFL. Then two families of sets related to tape-bounded nondeterministic Turing acceptors are shown to coincide and be an AFL. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 02, 1969
- Accession Number
- AD0693585
Entities
People
- John Hopcroft
- Seymour Ginsburg
Organizations
- System Development Corporation