INDEPENDENCE OF AFL OPERATION.
Sheila A. Greibach, John E. Hopcroft · Defense Technical Information Center (DTIC) · 1967
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)