Метаязык

В состав МС САПР входят процедурно-ориентированные языки (метаязыки) проектирования и управления процессом проектирования, языки описаний функций МС, т. е. распределения ресурсов САПР, формирования плановых заданий и другое, языки описания структуры данных и преобразования базы данных, программы, обеспечивающие реализацию функций МС, базы данных МС. [c.57]

Поэтому актуальной проблемой АП является проблема автоматизации разработки программных систем. В САПР значительное внимание уделяется вопросам создания метаязыков программирования, предназначенных для описания программного обеспечения на верхних иерархических уровнях его проектирования. Эти метаязыки позволяют лаконично описывать структуру проектируемого программного обеспечения, отдельным операторам метаязыка могут соответствовать достаточно крупные блоки программного обеспечения, насчитывающие десятки — сотни операторов языка программирования типа ФОРТРАН. Метаязыки используют для моделирования работы создаваемых программных систем, описания заданий на программирование отдельных модулей. Актуальной задачей является создание таких метаязыков и трансляторов с них, которые могли бы выполнять роль систем программирования. При наличии этих систем не потребовалось бы трудоемкое кодирование алгоритмов на традиционных языках программирования типа ФОРТРАН, ПЛ/1 и т. п. [c.111]

Декларация средств языка XML, представленная таблицей DTD, должна соответствовать общим правилам языка XML, она содержит объявления средств, специфичных для некоторого приложения и определяющих используемую разновидность XML. Разновидности XML (словари XML) могут создаваться по мере необходимости, что и оправдывает определение XML как метаязыка. [c.262]

Терминальный словарь 77- включает исходные элементы, из которых строятся цепочки (предложения) языка. С помощью символов нетерминального словаря обозначаются синтаксические элементы языка, возникающие в процессе создания цепочки или анализа ее структуры. Правильная цепочка языка должна состоять только из терминальных символов. Иначе говоря, Ут содержит символы собственно языка, а — символы метаязыка, используемого для описания данного язка. Начальный нетерминальный символ 5 предназначен для обозначения класса всех тех языковых объектов, для описания которых предназначается данная грамматика. Например, в универсальных языках программирования символу S соответствуют понятия (программа) (ФОРТРАН), (блок) (АЛГОЛ). [c.133]

В отличие от синтаксиса семантику языка пока не удается описать формальным аппаратом. Поэтому метаязыком, описывающим семантику, служит естественный язык. [c.134]

Для описания правил построения строк из основных символов (т.е. синтаксиса языка) используют метаязык, в котором приняты следующие обозначения [c.169]

Главное в фундаментальном методе проектирования — это обучение метаязыку, который выявляет характерные особенности мышления и облегчает его согласование с характером решаемой задачи. Это в большей степени средство вырабатывания и регулирования стратегии проектирования. [c.356]

Язык декларации базы в [25] предлагается включить в состав метаязыка первой группы, который служит средством описания входных языков комплексных САПР. [c.76]

Включение языка декларации базы в состав метаязыков описания входного языка комплексной САПР позволяет, таким образом, осуществить следующие возможности [c.76]

Средством порождения машинного словаря входных языков являются метаязыки первой группы (языки разработчиков средств лингвистического обеспечения). [c.85]

В рассматриваемой в гл. 3 системе генерации трансляторов комплексной САПР МЭА машинный словарь-тезаурус имеет постоянный раздел, соответствующий служебным словам (лексемам) метаязыков первой группы, и раздел с переменным заполнением. Генерация второго раздела словаря комплексной САПР производится на этапе генерации трансляторов проблемных входных языков пользователей, например, единого входного языка. В этом случав основные лексемы входных языков описываются с помощью модифицированных форм Бэкуса — Наура (см. 2.3). В процессе автоматической генерации трансляторов осуществляется заполнение и других разделов переменной части словаря (ссылок и т. п.). [c.85]

Опишем синтаксис используемого языка описания данных <. помощью метаязыка [107]. [c.192]

Для описания языка также необходимо использовать какой-либо язык. Язык, используемый для описания грамматики какого-либо языка, называется метаязыком. Если некоторый язык Li используется для того, чтобы описать некоторый другой язык L2, то язык Li называется метаязыком над L2. [c.111]

Характерное свойство естественных языков (русского, английского и т.д.) состоит в том, что они могут быть использованы в качестве своих собственных метаязыков. И действительно, грамматика русского языка может быть написана на русском языке. Однако так как сам естественный язык допускает неоднозначность, то и описанные на нем правила трудно сделать однозначными и уж совсем нельзя сделать их строго формализованными. [c.111]

Для формального описания синтаксиса разработано несколько метаязыков [2.30], наибольшее распространение получил метаязык Бэкуса [2.31] (называемый иногда нотацией Бэкуса), разработанный им для описания АЛГОЛа. В дальнейшем мы будем использовать этот язык. [c.111]

Метаязык Бэкуса - это список синтаксических правил или, как их иногда называют, правил подстановки, имеющих вид U -> у, где у -строка символов, каждый символ которой принадлежит либо формальному языку, либо описывающему его метаязыку U - символ, принадлежащий метаязыку. [c.111]

В дальнейшем мы не будем делать различия между словом языка или описывающего его метаязыка и знаком алфавита, объединив эти два понятия в понятие символ . [c.113]

Подмножество символов, относящихся только к метаязыку. Символы этого подмножества будем называть нетерминальными и обозначим это подмножество Vn. Символы называются нетерминальными потому, что в дереве анализа они не могут соответствовать его конечным узлам. К этому подмножеству относятся символы <идентификатор>, <блок>, <терм>, <прог-рамма > и т.д. [c.113]

Множество всех синтаксических правил конкретного формального языка, записанных на некотором метаязыке (например, языке Бэкуса), обозначим буквой Р. [c.114]

ПОМОЩЬЮ языкового процессора. Дальнейшая обработка объектных программ осуществляется операционной системой ЭВМ. Такая организация пакетов прикладных программ делает их открытыми, причем нарапщвание терминологии в ЯОО и ЯОЗ осуществляется за счет перестройки только трансляторов. Внутренний язык (метаязык) остается неизменным, как и наиболее дорогос1х)ящая часть программного комплекса - языковый процессор. Однако если в части лингвистического обеспечения эти пакеты являются открытыми, то в части проблемного математического обеспечения их можно признать открытыми весьма условно. [c.136]

Для ЯОО и ЯОЗ системотехн геского уровня САПР ОЭП можно выделить три вида грамматических конструкций, соответствующих видам преобразуемых ОЭП сигналов ко ерентный, некогерентный и частично когерентный. Поэтому для лингвистического обеспечения системотехнического уровня САПР ОЭП характерно наличие метаязыка и трех программ для преобразования программ на ЯОО и ЯОЗ в программу на метаязыке. Программы для такого преобразования могут работать по схемам трансляции и компиляции. [c.136]

Медь 316, 338 Месторождения энергии 11 Метаязык 169 Метод бисекции 129 [c.514]

XML — метаязык, специально разработанный для Internet и позволяющий создавать собственные языки для описания конкретных предметных областей, в нащем случае — проектирования. В отличие от HTML, имеющего ограниченное количество тэгов или операторов, XML позволяет создавать новые тэги [c.47]

Любое описание реальной ситуации является редукцией. Некоторые параметры ситуации принимаются во внимание, другие игнорируются. Для научной теории проблема состоит в том, в какой степени неизбежная редукция описания становится объектом сознательного контроля. Так как в рамках большинства ненаучных описаний редукция, как правило, является имплицитной, то и критика изнутри оказывается невозможной. Описание превраш ается в предмет веры. Такого рода трансформация и происходит обычно в процессе применения научных теорий. Научные описания отличаются от ненаучных именно тем обстоятельством, что редукция становится предметом рефлексии. Методологические критерии проясняют, какие модели реальности являются основой описания. И, что очень важно, для подобной практики (т.е. рефлексии) необходим особый метаязык , вообш е говоря, отличный от того языка, на котором делается описание реальности. [c.14]

Указанные свойства системы генерации трансляторов комплексной САПР достигаются за счет применения специализированных метаязыков описания входных языков комплексной САПР (языка системного проектирования, обобщенного входного языка, единога входного языка комплексной САПР МЭА и его разделов), использования модифицированных форм Бзкуса — Наура и атрибутных грамматик. Это позволяет, что особенно важно, наряду с описанием входных языков производить описание предметной области комплексной САПР. Таким образом реализуется принцип инвариантности системы генерации трансляторов к проблемной ориентации комплексной САПР. [c.31]

Включение языка декларации базы в этот метаязык позволяет осуш,ествить одновременную декларацию базы и описание синтаксиса и семантики входного языка комплексной САПР. В этом случае часть понятия предметной области комплексной САПР будет зафиксирована сразу во входном языке комплексной САПР. Можно, таким образом, автоматически выделить группу семантических объектов (понятий и метапонятий), которые непосредственно встречаются во входных заданиях комплексной САПР, а не являются результатом выполнения каких-либо проектных действий. Это, в частности, позволяет осуществить атрибутную разметку грамматических понятий входного языка комплексной САПР через атрибуты семантических таблиц (фреймов), субфреймов (понятий, субпонятий и других семантических объектов предметной области комплексной САПР). [c.76]

Описание на метаязыке МБНФ грамматического блока элемента будет иметь следующий вид [c.94]

Семантическое правило S3 для примера опишем вне синтаксического правила на метаязыке МБНФ [c.94]

Символом будем называть минимальную по числу знаков конструкцию, используемую в данном формальном языке или описывающем его метаязыке, которая имеет самостоятельное значение. Это может быть одна буква, например А, В, L знак операции, например +, >, л, разделитель, например , [,), одно слово или группа слов, например begin, go to и т.д. [c.113]

Энциклопедия по машиностроению XXL

Оборудование, материаловедение, механика и ...