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