Рассматривается задача автоматической трансляции фрагментов исходных текстов программ с одного императивного языка программирования на другой. Для решения задачи используются спецификации синтаксиса и семантики языков программирования. Для описания синтаксиса применяются грамматики YACC, для описания семантики языковых конструкций предложен специальный язык. Основным результатом, рассматриваемым в данной работе, является подход, позволяющий находить подходящие текстовые представления для описаний семантики фрагментов программ по спецификациям синтаксиса и семантики языковых конструкций. Необходимым условием для возможности применения предложенного подхода является достаточное сходство семантики рассматриваемых фрагментов языков программирования.
A problem of automatic source code fragments translation from one imperative language to another is considered in this article. Formal specifications of syntax and semantics are used to solve it. Yacc grammars are used for syntax description and the special language is introduced to describe semantics of language constructions. The main result concerned in this article is an approach to find matching textual representations of program fragments semantics using language syntax and semantic specifications. It is supposed that involved languages and their semantics are close enough.