We wrote an ACL2 to VHDL translator for our verification purpose. One major problem of translation between programming languages and the ACL2 language is the semantic gap caused by the translation; it is not easy to translate one language to another while precisely preserving its semantics. Our approach is to write a translator for a small subset of the ACL2 language for which there is no loss ...

Edith Wharton played a far more important role than is usually recognized in the transformation of French perceptions both American history and literature first two decades twentieth century. In this article, I trace different stages that transformation. At first, France, was hardly thought as an writer at all: she merely disciple Balzac Bourget who happened to be American. But by early 1920s b...

There are three main actors in the ideal translation workflow: the translator, the terminologist and the reviser. We describe all the three roles in terms of their input and output information in the translation workflow and developed a language technology toolkit to help them to solve their tasks as effective as possible. In the project “Translation EU Legislation Texts into Hungarian” transla...

the translator of a literary text has to observe the semantic sense of the words, the weight, the cultural setting, and other technical features of the original text to yield an acceptable translation in the tl. the accomplishment however is not that easy, for the translator meets some major impediments in performing the task. a translator who is familiar with different critical approaches, a t...