Cтраница 4
Опыт развития семиотики, логики и логической семантики, приобретенный за последние десятилетия, убеждает в том, что теории смысла должны базироваться на логике. Первый элемент реализуется обычно в форме тех или иных логических ( или родственных логическим, например автоматных) языков. Второй элемент осуществляется путем введения измеряющих функций ( с областью значений, например, из интервала ( О, 1), определенных на выражениях языка. В ряде существующих теорий такого рода измеряющие функции базируются на аппарате, основанном на логической вероятности. [46]
Самостоятельным видом литературных произведений, охраняемых авторским правом, является перевод произведения на другой язык. Общеизвестно, что смысловое значение слов и выражений одного языка не находит полного соответствия в другом языке. Поэтому для сохранения смысла, стилистики и основных особенностей переводимого произведения переводчик должен творчески осуществить замену переводимого слова иным, близким по значению или более точным по смыслу, заменить непереводимые выражения иностранного языка адекватными им выражениями языка перевода. Что касается перевода художественных произведений, то для него первостепенное значение имеет передача стилистических особенностей и художественного своеобразия переводимого произведения, литературной манеры и творческой неповторимости личности его автора. [47]
Построение формальной аксиоматической теории множеств начинается с точного описания языка, на котором формулируются утверждения. Затем принципы наивной теории множеств выражаются на описанном языке в виде аксиом, схем аксиом. Ниже дано краткое описание некоторых наиболее распространенных систем аксиоматической теории множеств. Выражения языка делятся на термы и формулы. Термы являются именами множеств, а формулы выражают суждения. Термы и формулы образуются согласно следующим правилам. [48]
Известно, чти в естественном языке допускаются синонимические преобразования, благодаря чему, например, выражение поиска ОКЛАД МЕНЬШЕ 100 РУБЛЕЙ может быть представлено в виде ЗАРПЛАТА НИЖЕ 100 РУБ. Для обеспечения - в ЯСФ смысловой однозначности подобных записей в словарь системы необходимо ввести синонимические пары сегментов: ЗАРПЛАТА и ОКЛАД, НИЖЕ и МЕНЬШЕ, РУБ и РУБЛЕЙ. Наличие подобных синонимов значительно расширяет число способов формулирования одного и того же требования на ЯСФ и также приближает его к естественному языку. Свойства пробелов, неинформативных слов и синонимов справедливы для всех выражений языка запросов. [49]
В компиляторах не уделяется должного внимания значению-выражений, высказываний и описаний. Применение контекстно-свободных грамматик для описания фрагментов языков ведет к важным достижениям в единообразии как спецификации, так и реализации. Однако, хотя это вполне оправдывается в простых случаях, попытки распространить этот подход на более сложные области могут затормозить научный прогресс. Возникают серьезные проблемы при использовании грамматик: для описания самоизменяющихся или саморасширяющихся языков с применением процессов исполнения наряду со спецификациями. Невозможно описать синтаксически - иначе говоря, статически - допустимые выражения языка, который изменяется. Конечно, должны быть описаны механизмы расширения-синтаксиса, однако если они задаются в терминах такого современного языка сопоставления с образцом, как Снобол, Convert [6] или Matchless [7] то не должно быть различия между программой грамматического разбора и описанием собственно языка. Будущие языки программирования станут R большей степени сосредоточиваться на целях и в меньшей степени на процедурах, специфицированных программистом. [50]