INDEPENDENCE OF AFL OPERATION.

Abstract

The axiomatic properties used to define abstract families of languages are considered. The properties are shown not to be independent. All independent subsets that imply the remaining properties are found. Finally alternative operations are considered. (Author)

Document Details

Document Type
Technical Report
Publication Date
Jul 12, 1967
Accession Number
AD0662602

Entities

People

  • John Hopcroft
  • Sheila Greibach

Organizations

  • System Development Corporation

Tags

DTIC Thesaurus Topics

  • Abstracts

Readers

  • Mathematical Modeling and Probability Theory.