This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Production Systems: A Notation for Defining Syntax and Translation
March 1977 (vol. 3 no. 2)
pp. 105-124
H.F. Ledgard, Department of Computer and Information Science, University of Massachusetts
This paper presents the formalism of Production Systems and investigates its applcation to defe the Syntax and trlation of programming languages. Several properties appear well-suited to this task: 1) the formalism can be used to specify exactly the syntax of a computer language, including context-sensitive requirements; 2) the specification of the context-sensitive requirements on syntax can be isolated from the context-free requirements; 3) the same formalism can be used to specify more general structural properties, including the translation of one language into another. The notation has been developed with readabifity as a prime designissue. The following examples are given:1) aspecificationofthesyntaxofasmallbutdifflcultsubset of PL/I;2) a specification of the rules for translating lambda-culus expressions into, normal form.
Index Terms:
translation, Compilers, context-sensitive grammars, formal definition, lambda-calculus, language design, PL/I, standards, syntax
Citation:
H.F. Ledgard, "Production Systems: A Notation for Defining Syntax and Translation," IEEE Transactions on Software Engineering, vol. 3, no. 2, pp. 105-124, March 1977, doi:10.1109/TSE.1977.233849
Usage of this product signifies your acceptance of the Terms of Use.