Cтраница 1
Метаязыки составляют необходимое условие семиотического функционирования интересующих нас систем. [1]
Метаязык имеет также средства для записи определений. Идентификаторы метаязыка ( слова и символы, через которые определяются конструкции языка) образуются из прописных букв русского и латинского алфавита, цифр и дефиса. [2]
Метаязык широко практикуется для описания алгоритмических языков. В этом языке применяется формульное построение определений, понятий. В левой стороне указывается определяемое понятие, а в правой - определяющее выражение, его составные элементы, конкретные значения определяемого понятия. Для записи на метаязыке пользуются знаком ( символом):: имеющим смысл равно по определению ( это значит, что есть); угловыми скобками, в которые заключаются определяемые понятия, читаемые как некоторая структура данного языка ( скобки показывают, что на место определяемого понятия может быть подставлено любое конкретное его значение); знаком вертикальная черта, являющимся символом операции перечисления и читаемым ИЛИ. [3]
Метаязык имеет также Средства Для записи определений. Идентификаторы метаязыка ( слова и символы, через которые определяются конструкции языка) образуются из прописных букв русского и латинского алфавита, цифр и дефиса. [4]
Метаязык Хомского был развит Бэкусом и Науром применительно к описанию языка АЛГОЛ-60, что явилось качественно новым уровнем строгости описания языка. [5]
Метаязык, ориентированный на синтаксический анализ и контроль. [6]
Метаязыки выражают такие отношения научных понятий, для которых обычный разговорный язык оказывается недостаточным, В каждой научной области есть свои специфические предметы и явления, которые для своего информационного выражения требуют особого языка, незаменимого другим языком. [7]
Метаязык примера 1.6, конечно, более удобен ( для описания языка четных чисел), но это связано с тем, что он является подходящим частным случаем. [8]
Метаязык Бэкуса - это список синтаксических правил или, как их иногда называют, правил подстановки, имеющих вид U - у, где - строка символов, каждый символ которой принадлежит либо формальному языку, либо описывающему его метаязыку; U - символ, принадлежащий метаязыку. [9]
Метаязык примера 1.6, конечно, более удобен ( для описания языка четных чисел), но это связано с тем, что он является подходящим частным случаем. С его помощью нельзя было бы описать язык-объект, предложениями которого являются тексты, имеющие вид столбцов, образованных из строк, которые в свою очередь состоят из четных чисел. С помощью универсальных метаформул такой язык-объект описать нетрудно. Для этого введем в алфавит связей языка-объекта три связи следования четных чисел ( при этом начинающую и заканчивающую не будем никак изображать, а продолжающуюся будем передавать в виде пробела) и три связи следования строк ( начинающую и заканчивающую не будем никак изображать, а продолжащую будем передавать, размещая следующую строку под предыдущей); кроме того, введем метасимволы S и S. [10]
Метаязык описания грамматики АЛГОЛа сам в значительной мере символизирован. [11]
Метаязык формального описания синтаксиса совпадает с метаязыком описания синтаксиса ЯОД и ЯОК. Алфавит ЯЗ содержит символы [, ] ( квадратные скобки), которые использовались ранее как метасимволы при описании синтаксиса. Для отличия символов ЯЗ от метасимволов квадратные скобки в приведенном ниже описании синтаксиса ЯЗ подчеркнуты. [12]
Метаязыком называют формализованный или неформализованный язык, на котором говорят о каком-то другом ( обычно формализованном) языке. [13]
Метаязыком называют формальный язык описания синтаксиса алгоритмических языков. [14]
Понятие метаязык было введено польским математиком Альфредом Тарским. На нижней ступени лестницы находятся утверждения об объектах, например У Марса две луны. Такие слова, как истина и ложь, не входят в язык низшей ступени. Чтобы говорить об истинности или ложности утверждений, высказанных на языке низшей степени, мы должны воспользоваться метаязыком - следующей, более высокой ступенью лестницы. Метаязык включает в себя весь объектный язык, но не исчерпывается им. Метаязык богаче объектного языка, поскольку позволяет говорить об истинности и ложности утверждений, записанных на объектном языке. Любимый пример Тар-ского: Снег белый - утверждение из объектного языка, Утверждение Снег белый истинно - утверждение из метаязыка. [15]