Cтраница 2
Левую и правую части металингвистических формул соединяют знаком:: , который означает это есть, есть по определению или имеет структуру. Операция соединения специального символа не имеет, с ее помощью метапостоянные или метапеременные в определяющем выражении последовательно приписывают друг к другу. [16]
Не представляет труда разбор второй металингвистической формулы. [17]
Уже отмечалось, что аппарат металингвистических формул можно использовать для определения понятий, не имеющих непосредственного отношения к языку алгол. [18]
Доказательство свойств объектов, определенных через металингвистические формулы, часто бывает удобным проводить математической индукцией по числу знаков в объекте. [19]
Понятие ( арифметический операнд) определено металингвистической формулой в разд. [20]
Чтобы исчерпывающе определить понятие числа, рассмотрим соответствующие металингвистические формулы. Для лучшей обозримости будет введено шесть промежуточных понятий. [21]
Для определения понятий алгола могут быть использованы так называемые металингвистические формулы. Такой способ определения был разработан английским математиком Бэкусом. В данном разделе содержатся определения по этому способу всех понятий алгола, предложенных в книге. Как читать эти определения и как определять новые, может быть, не имеющие отношения к алголу понятия, пользуясь металингвистическими формулами, приведенными в конце приложения, мы выясним, разобрав некоторые определения. [22]
Семантика описывается словесно, а синтаксис - с помощью металингвистических формул. [23]
Обычно при описании АЛГОЛа, начиная с авторов языка, применяют металингвистические формулы Бекуса. Мы также будем довольно часто использовать нормальную нотацию Бе-куса, сопровождая ее подробным комментарием, так как приобретение навыков в чтении металингвистических формул, в восприятии строгого изложения, дает возможность читателю подготовиться к изучению многих других языков программирования. [24]
Синтаксис ИЯП ИСС представляет собой систему правил в виде так называемых металингвистических формул. [25]
Рассмотрим основные положения выходного языка, пользуясь, где целесообразно, металингвистическими формулами. [26]
Для описания АЛГОЛа существует специально разработанный формализованный язык, так называемый язык металингвистических формул. Он весьма удобен для строгого и лаконичного описания языковых конструкций, но чрезвычайно труден для начинающего читателя. Поэтому автор отказался от формального описания АЛГОЛа и стремился построить изложение по возможности настолько просто, насколько это обстоятельство не мешает полноте и строгости изложения. [27]
Конструкции описания языка с помощью рассмотренных выше символов грамматики Бэкуса и называются металингвистическими формулами. Для удобства пользования все металингвистические формулы будут пронумерованы числами, указанными в левой части страницы. [28]
Предложен предмашинный формат представления фактографической информации, правила заполнения которого систематизированы и описаны в терминах металингвистических формул Бекуса-Наура, т.е. представлены в форме специализированного языка записи данных. Правила позволяют референту самостоятельно выбрать оптимальную структуру записи данных. [29]
Предлагаемые в настоящей работе структура составного фактографического раздела и правила записи данных могут быть систематизированы и сведены к некоторому набору металингвистических формул в форме Вэкуса-Наура IQ, III, T e могут быть описаны формально, что обеспечивает точность и полноту описания и четкую постановку задания на разработку программного обеспечения формата и базы данных в целом. Формальное описание, однако, может оказаться трудным для восприятия. [30]