История изменений
Исправление quasimoto, (текущая версия) :
Транслятор это очень специальная функция (как естественное преобразование по ссылке) которая занимается аккуратным отображением чётко определённого языка в другой ясно определённый язык с сохранением семантики (то есть и та тоже ясно определена — она как раз и есть «интерпретация» в семантические модели из синтаксических категорий, а синтаксическая трансляция между, как преобразование между функторами, синтаксический гомоморфизм). Непонятно что из непонятно чего в непонятно что просто по основанию того что оно что-то куда-то транслятором не является.
Исправление quasimoto, :
Транслятор это очень специальная функция (как натуральное преобразование по ссылке) которая занимается аккуратным отображением чётко определённого языка в другой ясно определённый язык с сохранением семантики (то есть и та тоже ясно определена — она как раз и есть «интерпретация» в семантические модели из синтаксических категорий, а синтаксическая трансляция между, как преобразование между функторами, синтаксический гомоморфизм). Непонятно что из непонятно чего в непонятно что просто по основанию того что оно что-то куда-то транслятором не является.
Исходная версия quasimoto, :
Транслятор это очень специальная функция (как натуральное преобразование по ссылке) которая занимается аккуратным отображением чётко определённого языка в другой ясно определённый язык с сохранением семантики (то есть и та тоже ясно определена — она как раз и есть «интерпретация» в модели, трансляция между, как преобразование между функторами). Непонятно что из непонятно чего в непонятно что просто по основанию того что оно что-то куда-то транслятором не является.