Formal Methodology of Translation. II. Capabilities and Limitations

Abstract

In Sections 1-6 (Part I, Krishnaswamy and Buttelmann, 1978) we formalized the notion of a table translator, and stated conditions under which it imposes semantic preserving total translations. These conditions were shown to be a smallest set under which it was decidable whether the translator induced a semantic preserving translation for each sentence of… (More)
DOI: 10.1016/S0019-9958(78)90623-X

Cite this paper

@article{Krishnaswamy1978FormalMO, title={Formal Methodology of Translation. II. Capabilities and Limitations}, author={Ramachandran Krishnaswamy and H. William Buttelmann}, journal={Information and Control}, year={1978}, volume={39}, pages={272-283} }