Формализация процесса трансляции с единого входного языка и конвертирования в языки ППП