Метаязык

Слева располагается машинный язык (МЯ), а справа — естественный язык (ЕЯ). Промежуток между ними заполнен языками разной степени сложности и формализмов языком ассемблер (АС), языками программирования (ЯП), метаязыками (МтЯ), языками представления знаний (ЯПЗ) и ограниченными естественными языками (ОЕЯ). В зависимости от квалификации в области программирования и вычислительной техники пользователь в той или иной мере удален от машинных языков. При разработке же систем нужно исходить из того, что он (пользователь) находится справа. Это лишь обеспечит системе широкое применение в практике повседневных расчетов пользователей—неспециалистов в области вычислительной техники. [c.158]

Метаязык. Изучение любого языка начинается со знакомства с его алфавитом и правилами, по которым образуются слова и предложения, т. е. его синтаксисом. Совокупность правил синтаксиса составляет грамматику языка. В отличие от естественных языков в языках программирования синтаксические правила не допускают различного толкования конструкций — определение должно быть однозначным, строго формализованным. Любая неоднозначность приводит к ошибкам в программе. [c.226]

Синтаксические правила алгоритмического языка программирования описываются с помощью специального языка, называемого металингвистическим, или метаязыком. Для описания синтаксиса ПЛ/1 используется несколько измененный вариант метаязыка Бэкуса — Наура, предложенного для описания Алгола. [c.226]

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

II.2 — химико-технологический программный язык (метаязык химической технологии). [c.34]

Относительно (II.2) следует сказать, что существуют программы, реализующие все химико-технологические операции преобразования, процедуры, а также все необходимые вспомогательные действия на основе специального метаязыка, содержащего в качестве команд и подпрограмм все необходимые модели элементов, физико- [c.34]

Формальное описание языка запросов. Приведем описание языка запросов с помощью метаязыка Бэкуса [23]. [c.113]

В связи с тем, что авторы книги понимают эротетическую логику как грамматику и семантику вопросов, они развивают теорию вопросно-ответных отношений на базе описанного ими формального языка L и неформального метаязыка, в котором формулируются семантические характеристики вопросов и ответов. Однако возможны пути синтаксического определения различных вопросно-ответных предикатов в рамках формального метаязыка ML, содержащего L (с.м. прим. 3). Целесообразность изучения конструкций подобного рода вызвана тем, что корректное определение вопросов к информационным системам (и базам данных как их частному случаю) требует обогащения выразительной силы L (т. е. введения переменных новых сортов и специальных металогических предикатов). Весьма перспективным было бы такое определение вопросно-ответных предикатов в ML, которое бы допускало извлечение из них программ (см. в этой связи Непейвода H.H. [c.10]

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

Отметим, что основные понятия, характеризующие вопросы, авторы книги определяют семантически, используя интерпретацию М языка L, т. е. фактически эти определения построены в неформальном языке. Представляет интерес синтаксическое рассмотрение вопросов в формализованном метаязыке ML [1]. В [1] вопросы (точнее, интеррогативы) рассматриваются как термы Л4L-мeтaязыкa, формулирующего высказывание о формулах языка данных L. Каждому типу вопросов соответствует свой вопросительный оператор. Например, и ( >Ул < >)5 (х< ) соответствен- [c.273]

Во введении авторы отмечают, что эротетическая логика специфична не теорией дедукции, а семантикой и грамматикой в связи с этим мы хотим подчеркнуть тот факт, что синтаксическое определение вопросно-ответных предикатов Лш,- в метаязыке ML дает возможность эротетической логике иметь специфическую теорию дедукции, зависящую как от выразительной силы ML (наличие тех или иных сортов переменйых и соответствующих их иерархий), так и от собственных логических средств ML (т. е. выбора классической или некоторых неклассических логи <). [c.274]

Таким образом, генератор конечного детерминированного автомата можно рассматривать как транслятор метаязыка модифицированной формы Бэкуса—Наура. Этот транслятор использует упомянутые выше лексический и синтаксический анализаторы на основе разработанного исходного конечного автомата, который соответствует грамматике Бэкуса—Наура. Следует отметить, что данный генератор обладает свойством самопорождения, т. е. может генерировать конечный автомат, с помощью которого осуществляется сам процесс трансляции грамматик, написанных на метаязыке модифицированной формы Бэкуса—Наура. Итак, конечный детерминированный автомат с магазинной памятью, соответствующий грамматике проблемно-ориентированного языка общения пользователя с ЭВМ на определенном этапе диалога, с.ледует рассматривать в качестве самостоятельной части этого этапа, которая управляет процессом разбора и выполнения сформированного запроса пользователя с помощью универсальных блоков лексического и синтаксического анализов. [c.270]

В метаязыке каждое синтаксическое правило задается метаформулой, состоящей из левой и правой частей, разделенных знаком =, означающим по определению есть . В левой части ставится определяемое понятие (идентификатор языка), а в правой — основные символы ПЛ/1 и элементы языка, определенные ранее через основные символы. [c.226]

К символам, используемым в метаязыке, относятся символ 1 означает или , символ ... — повторение, фигурные скобки — объединение нескольких синтаксических элементов в отдельный элемент, квадратные скобки [ ] — то же, что и фигурные, но элемент, заключенный в квадратные скобки, можно опустить в определении. Приведем примеры записи метаформул. Запись [c.227]

Вопрос об использовании специализированных входных языков в качестве подсистем универсальных входных языков ставился, в частности, в работе [24]. Однако исследований по синтезу различных систем кодирования практически нет. Некоторым исключением в этом отношении являются исследования Кихо [69—71], разработавшего специальный метаязык, позволяющий использовать различные принципы известных систем коди- oвaния. При использовании подобных метаязыков важно корректно решить задачу сохранения преимуществ отдельных систем кодирования в рамках некоторого общего формата метаязыка (например, сохранения компактности кода, машинной технологичности). [c.90]

Справочник химика 21

Химия и химическая технология