Accession Number : AD0693585

Title :   IMAGES OF AFL UNDER CERTAIN FAMILIES OF HOMOMORPHISMS,

Corporate Author : SYSTEM DEVELOPMENT CORP SANTA MONICA CALIF

Personal Author(s) : Ginsburg,Seymour ; Hopcroft,John

Report Date : 02 JUN 1969

Pagination or Media Count : 27

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)

Descriptors :   (*COMPUTATIONAL LINGUISTICS, AUTOMATA), SET THEORY, MAPPING(TRANSFORMATIONS), GROUPS(MATHEMATICS), GRAMMARS, PROGRAMMING LANGUAGES, THEOREMS

Subject Categories : Linguistics
      Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE