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)