Cтраница 3
Очевидно, что метаязык и язык должны - быть отличимы один от другого. Для синтаксических определений в языке Бэкуса, который в данном случае по отношению к ИЯП ИСС является метаязыком, применяется специальная металингвистическая символика. [31]
Хорошим примером такого метаязыка может служить язык, описанный в методе 2.2 Фундаментальный метод проектирования Мэтчетта. В этом случае единый язык, на котором возможно описание внешних целей и предполагаемых стратегий, включает дерево целей первого, второго и третьего порядков вместе с универсальными контрольными перечнями, описывающими различные фазы жизненного цикла инженерной разработки. [32]
Задача семиотики как метаязыка науки состоит в изучении всего многообразия знаковых систем ( важнейшей из которых является естественный язык) и всевозможных коммуникативных процессов, порождаемых этими системами. [33]
При описании языка используется метаязык. [34]
Буржуазные же афоризмы принадлежат метаязыку, это вторичная речь по поводу уже готовых вещей. [35]
Функция, написанная на метаязыке, - метафункция или ме-тапрограмма - оперирует программой, написанной на функциональном языке, которая должна быть преобразована; подобные программы являются объектами метаязыка. [36]
Внешние формулы интерпретируются как выражения метаязыка, чисто внутренние - как выражения языка-объекта. Хорошей интуитивной интерпретации для внутренних, но не чисто внутренних, формул нет. [37]
Бесконечная иерархия, аналогичная лестнице метаязыков, позволяет избавиться от теоретико-мно жественных парадоксов. Ни одно множество не может быть членом самого себя или любого множества более низкого типа. Брадобрей, астролог, робот и каталог просто не существуют. [38]
Вир [32] подчеркивает необходимость создания метаязыков, которые подходили бы для управления отдельными системами. Бесполезно использовать язык неопределенности для выражения неясности, так как эти два понятия совершенно различны. [39]
Примером формального языка, являющегося метаязыком при переводе с алгоритмических языков, является язык Бэкуса. Этот язык позволяет дать сводку правил, по которым осуществляется перевод. Применяемые трансляторы обладают этим свойством и поэтому получили название синтаксических. [40]
Как и язык логики высказываний, метаязык может быть формализован. Но для того, чтобы избежать чрезмерного и педантичного использования символов, например, - в языке и в метаязыке, в качестве метаязыка мы будем использовать тщательно и точно сформулированные предложения разговорного языка. [41]
Для поддержки этого процесса можно использовать метаязык, позволяющий программисту специфицировать преобразования в виде метапрограмм. [42]
Когда обсуждается кибернетическое управление, то метаязык обычно располагает теми же самыми переменными, что и язык управления системой. На наш взгляд, это положение должно быть исправлено. [43]
Для опознавания выражений на исходном языке метаязык имеет таблицы для образования выражений на переводимый язык. В простейших случаях эти таблицы представляют. В общем же случае учитывается синтаксис обоих языков ( исходного и выходного), для чего используются упомянутые таблицы. [44]
АЛГОЛа не следует путать с символом метаязыка:: ), а в правой части записывается либо арифметическое, либо булевское выражение. Заметим, что выражения могут быть как условными, так и безусловными. [45]