Axiomatic Specification of Syntax-Directed Translation.

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)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 1978
Accession Number
ADA058574

Entities

People

  • Sharon Sickel
  • W. M. Mckeeman

Organizations

  • University of California, Santa Cruz

Tags

Communities of Interest

  • Counter IED
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Computations
  • Context Free Grammars
  • Contracts
  • Grammars
  • Information Science
  • Language
  • Linguistics
  • Mathematics
  • Military Research
  • Notation
  • Sequences
  • Specifications
  • Syntax
  • Terminals
  • Translations
  • Universities
  • Vocabulary

Readers

  • Computational Linguistics