Метаязык
Cтраница 2
Такие метаязыки имеют также наименование искусственных языков. [16]
Значение метаязыка хорновских дизъюнктов в более широком вычислительном контексте заключается в тех особых возможностях, которыми он обогащает программные средства благодаря амальгамированию. [17]
В метаязыке каждое синтаксическое правило задается мета-формулой, состоящей из левой и правой частей, разделенных знаком:: , означающим по определению есть. В левой части ставится определяемое понятие ( идентификатор языка), а в правой - основные символы ПЛ / 1 и элементы языка, определенные ранее через основные символы. [18]
О метаязыке синтаксически управляемого транслятора. [19]
Описанный выше метаязык М, о котором было сказано, что он является кодом метаязыка М, является частным случаем индуктивно-порождающего метаязыка. Имея именно это в виду, будем говорить, что метаязык М ( заданный с помощью нотации Бекуса) является частным случаем индуктивно порождающего метаязыка. [20]
XML - метаязык, специально разработанный для Internet и позволяющий создавать собственные языки для описания конкретных предметных областей, в нашем случае - проектирования. [21]
Металогика, Метаязык) и содержательны-м н метатеоретпческимн ( см. Метатеория) отношениями, также - местными; важными примерами являются соответствие между двухместной О. [22]
Описанный выше метаязык М, о котором было сказано, что он является кодом метаязыка М, является частным случаем индуктивно-порождающего метаязыка. Имея именно это в виду, будем говорить, что метаязык М ( заданный с помощью нотации Бекуса) является частным случаем индуктивно порождающего метаязыка. [23]
У лестницы метаязыков Тарского существует теоретико-множественный аналог - теория типов Бертрана Рассела. Не вдаваясь в технические подробности, можно сказать, что эта теория, устанавливая среди множеств иерархию по типам, исключает высказывания о принадлежности или непринадлежности множества самому себе. Тем самым исключаются противоречивые множества. Они просто-напросто вычеркиваются из системы. Если вы неукоснительно следуете правилам теории типов, то у в с нет разумного способа определить эти множества, чреватые противоречиями. Ситуация, возникающая при этом в теории множеств, аналогична той, с которой мы сталкиваемся в семантике, когда утверждаем, что такие утверждения, как парадокс лжеца, просто [ не являются утверждениями, поскольку не соответствуют правилам построения законных утверждений. [24]
Открытость этого метаязыка предполагает признание того непреложного факта, что не всякая новая управленческая задача предоставлена в его существующей редакции в принципе или наиболее эффективно реализуема в его рамках, а также возможность наращивания его интерпретационно-описательного потенциала в процессе развития модельного аппарата. [25]
Вспомогательными средствами метаязыка описывается только базовое понятие языка - конструктив типов, все остальные конструкции языка программирования ( стандартные типы данных) выражаются посредством конструктива типов. [26]
 |
Метасимволы БНФ. [27] |
Между символами метаязыка и описываемого языка не должно быть никакой путаницы. Появление символов в виде литералов без скобок говорит о том, что это терминальные символы языка. Грамматика записывается как ряд положений, каждое из которых состоит из левой части, за которой следует метасимвол: : , а за ним следует список правых частей. Левая часть является именем составляющей, а правые части, разделенные метасимволом, - строки, содержащие терминальные символы или имена составляющих или и то и другое. [28]
Развитие потенциала модельного метаязыка подразумевает решение задачи адаптивного синтеза системы математических моделей и алгоритмов. [29]
Нам остается ввести метаязык для изображения найденного исчисления. [30]
Страницы: 1 2 3 4