Accession Number:

ADA058574

Title:

Axiomatic Specification of Syntax-Directed Translation.

Descriptive Note:

Technical rept.,

Corporate Author:

CALIFORNIA UNIV SANTA CRUZ INFORMATION SCIENCES

Personal Author(s):

Report Date:

1978-08-01

Pagination or Media Count:

20.0

Abstract:

Predicate logic is applied to the specification of syntax-directed translation. Context-free grammars are shown to be representable by logic programs, and a translation from grammars to logic programs is presented as a logic program. Coupled grammars are introduced, shown to be interpretable as translators, shown to be representable as logic programs, and translation from coupled grammars to logic programs is presented via logic programs. Mixed grammars, a concisely representable special case of coupled grammars, are given in terms of coupled grammars. Author

Subject Categories:

  • Linguistics
  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE