Formal Methodology of Translation. II. Capabilities and Limitations

We investigate capabilities and limitations of table translators. The importance to translation of the manner of specification of the syntax and semantics of languages is demonstrated. We develop a case for restricting the specification of the syntax and semantics of languages, and examine the translation of languages described in the restricted manner.

[1]  james w.thatcher,et al.  tree automata: an informal survey , 1974 .

[2]  Noam Chomsky,et al.  वाक्यविन्यास का सैद्धान्तिक पक्ष = Aspects of the theory of syntax , 1965 .

[3]  Art Pyster.  Formal translation of phrase-structure languages / , 1975 .

[4]  David B. Benson,et al.  Syntax and Semantics: A Categorical View , 1970, Inf. Control..

[5]  Richard Edwin Stearns,et al.  Syntax-Directed Transduction , 1966, JACM.

[6]  Ramachandran Krishnaswamy.  Methodology and generation of language translators. , 1976 .

[7]  Alfred V. Aho,et al.  Currents In The Theory Of Computing , 1973 .

[8]  James W. Thatcher,et al.  Transformations and translations from the point of view of generalized finite automata theory , 1969, STOC.

[9]  C. A. R. Hoare,et al.  An Axiomatic Definition of the Programming Language PASCAL , 1973, Acta Informatica.

[10]  Donald Ervin Knuth,et al.  The Art of Computer Programming , 1968 .

[11]  James W. Thatcher,et al.  Characterizing Derivation Trees of Context-Free Grammars through a Generalization of Finite Automata Theory , 1967, J. Comput. Syst. Sci..

[12]  Lawrence T. Kou,et al.  Multiple-Entry Finite Automata , 1974, J. Comput. Syst. Sci..

[13]  Jeffrey S. Rohl,et al.  The compiler compiler , 1963 .

[14]  Christopher Strachey,et al.  Toward a mathematical semantics for computer languages , 1971 .

[15]  Daniel J. Rosenkrantz,et al.  Attributed Translations , 1974, J. Comput. Syst. Sci..

[16]  D. Morris,et al.  Experience with the Compiler Compiler , 1967, Comput. J..

[17]  W. N. Locke,et al.  Machine Translation of Languages , 1956 .

[18]  James W. Thatcher,et al.  Generalized Sequential Machine Maps , 1970, J. Comput. Syst. Sci..

[19]  Brenda S. Baker,et al.  Tree transductions and families of tree languages , 1973, STOC.

[20]  Alfred V. Aho,et al.  Syntax Directed Translations and the Pushdown Assembler , 1969, J. Comput. Syst. Sci..

[21]  Alfred V. Aho,et al.  The Theory of Parsing, Translation, and Compiling , 1972 .

[22]  Alfred V. Aho,et al.  Properties of Syntax Directed Translations , 1969, J. Comput. Syst. Sci..

[23]  Noam Chomsky,et al.  On Certain Formal Properties of Grammars , 1959, Inf. Control..

[24]  Kirk Sattley,et al.  Syntax-directed compiling , 1964, AFIPS '64 (Spring).

[25]  D. Morris,et al.  A General Translation Program for Phrase Structure Languages , 1962, JACM.

[26]  Seymour Ginsburg,et al.  The mathematical theory of context free languages , 1966 .

[27]  Jeffrey D. Ullman,et al.  Formal languages and their relation to automata , 1969, Addison-Wesley series in computer science and information processing.

[28]  Alfred V. Aho,et al.  Translations on a Context-Free Grammar , 1971, Inf. Control..

[29]  Jr. Hartley Rogers.  Theory of Recursive Functions and Effective Computability , 1969 .