SUBSTITUTION IN FAMILIES OF LANGUAGES

Abstract

The effect of substitution in families of languages, especially AFL, is considered. Among the main results shown are the following: The substitution of one AFL into another is an AFL. Under suitable hypotheses, the AFL generated by the family obtained from the substitution of one family into another, is the family obtained from the substitution of the corresponding AFL. A condition is given for the AFL generated by the substitution closure of a family to be the substitution closure of the AFL generated by the family.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 16, 1968
Accession Number
AD0680785

Entities

People

  • Edwin H. Spanier
  • Seymour Ginsburg

Organizations

  • System Development Corporation

Tags

Communities of Interest

  • Space

DTIC Thesaurus Topics

  • Abstracts
  • Air Force
  • California
  • Colorado
  • Computer Languages
  • Computer Science
  • Contracts
  • Corporations
  • Data Science
  • Formal Languages
  • Hypotheses
  • Inclusions
  • Language
  • Notation
  • Scientific Research
  • United States

Readers

  • Rehabilitation and Prosthetic Care for Military Service Members and Veterans with Limb Loss or Disability.
  • Superconducting Magnet Technology