ABSTRACT FAMILIES OF LANGUAGES,
Abstract
The notion of an abstract family of languages (AFL) as a family of sets of words satisfying certain properties common to many types of formal languages is introduced. Operations preserving AFL are then considered. The concept of an abstract family of acceptors (AFA) is also introduced and shown to give rise to an AFL. A necessary and sufficient condition on an AFL is presented in order that the AFL come from some AFA. Finally, abstract families of transducers (AFA with output) are discussed. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Apr 17, 1967
- Accession Number
- AD0657015
Entities
People
- Seymour Ginsburg
- Sheila Greibach
Organizations
- System Development Corporation