Cтраница 3
В связи с тем, что авторы книги понимают эротетиче-скую логику как грамматику и семантику вопросов, они развивают теорию вопросно-ответных отношений на базе описанного ими формального языка L и неформального метаязыка, в котором формулируются семантические характеристики вопросов и ответов. Однако возможны пути синтаксического определения различных вопросно-ответных предикатов в рамках формального метаязыка ML, содержащего L ( см. прим. [31]
В связи с тем, что авторы книги понимают эротетиче-скую логику как грамматику и семантику вопросов, они развивают теорию вопросно-ответных отношений на базе описанного ими формального языка L и неформального метаязыка, в котором формулируются семантические характеристики вопросов и ответов. Однако возможны пути синтаксического определения различных вопросно-ответных предикатов в рамках формального метаязыка ML, содержащего L ( см. прим. [32]
Для того чтобы облегчить обращение к ним в тексте, некоторые строчные слова сопровождаются дефисом, цифрой или буквой. Эта модификация не изменяет синтаксическое определение слова. [33]
Большую роль в определении семантики языка играет функциональность. Функциональность определяется рекурсивно на синтаксических определениях, входящих в выражения языка. [34]
Указатель функции, будучи первичным выражением, представляет одно числовое значение ( вещественное или целое число), являющееся значением некоторой функции от значений ее аргументов, определяемых данным указателем функции. Вопрос об использовании функций в АЛГОЛе, в том числе и синтаксическое определение указателя функции, будет подробно рассмотрен значительно позже, в главе 12, так как усвоение этого понятия требует знакомства со многими другими понятиями языка, а до тех нор мы будем рассматривать простые арифметические выражения, не содержащие указателей функций. Отложим пока, до конца этого параграфа, и рассмотрение последнего типа первичного выражения. [35]
Число без знака может быть целым без знака или вещественным без знака. Эти понятия имеют обычный смысл, и мы не будем давать здесь точных синтаксических определений, допуская пока любую общепринятую их десятичную запись. [36]
Выбирая первое слово предложения, а именно the, мы просматриваем правые части синтаксических определений табл. 8.1, чтобы установить его синтаксический тип. Строки этой таблицы просматриваются последовательно сверху вниз. [37]
Кроме того, узнавание путем дедуктивного умозаключения может использовать синтаксический анализ. Например, простое арифметическое выражение, находящееся среди арифметических символов, можно выявить, применяя переводящую программу ( рис. 8.4 и 8.5) и синтаксические определения, приведенные в табл. 8.4. Для приведенного там синтаксиса необходимо только одно синтаксическое отношение - последовательное расположение объектов, которое задается последовательным написанием понятий, например ( буква) ( буква) для АВ. [38]
Данное сообщение может быть использовано в качестве учебного материала. Язык Паскаль удобен для автоматизации проектирования систем математического обеспечения. Синтаксические определения даны в Бэкусовской нормальной форме. [39]
В данном языке первичными составными частями программ, описывающих алгоритмические процессы, являются арифметические, логические и именующие выражения. Составными частями этих выражений, помимо некоторых ограничителей, являются логические значения, числа, переменные, указатели функций, метки, указатели переключателей, а также элементарные арифметические, логические операции, операции отношения и следования. Поскольку синтаксическое определение как переменных, так и указателей функций содержит выражения, определение выражений и их составных частей по необходимости является рекурсивным. [40]
Книга Как программировать на C содержит богатый набор примеров, упражнений и проектов, взятых из различных областей, чтобы дать студенту возможность решать действительно интересные и жизненные задачи. В книге делается упор на принципы хорошего стиля программирования, на ясность программ. Мы избегаем таинственной терминологии и синтаксических определений в пользу обучения на примерах. [41]
При формальном изучении языков программирования теме синтаксиса и синтаксического анализа уделяется самое большое внимание. Первоначально считалось, что изучение этих вопросов должно было дать пользователям и специалистам, реализующим язык, точные определения синтаксиса языка программирования. Однако вскоре стало ясно, что эти синтаксические определения можно также использовать непосредственно как основу для синтаксического анализа в трансляторах. Позднее были развиты и изучены разнообразные методы синтаксического анализа, основанные на формальных синтаксических определениях. [42]
Перед тем как перейти к дальнейшему изложению, давайте более четко определим те термины, в которых дается синтаксическое описание. Каждое определение есть строка, и номер этой строки берется в качестве номера уровня соответствующего синтаксического объекта ( находящегося слева от: :) этой строки. Различные структуры, перечисленные в правой части синтаксического определения ( справа от - ), навываются альтернативами ( выборами); объекты, которые образуют альтернативу - компонентами. [43]
Взаимообмен, основанный на ограниченном естественном языке, находит в настоящее время все большее применение в силу относительной простоты реализации. Основным недостатком его является опасность переоценки возможностей со стороны потребителя. Ограниченность такого языка заключается прежде всего в упрощении синтаксических определений и лексического состава. Практически упрощение может быть достигнуто специализацией, состоящей в выявлении общих характеристик класса решаемых задач данной системой и ограничения лексики языка набором понятий, описывающих эти характеристики. [44]
Теперь мы вернемся к описанию того, что же представляет собой каждый тип операторов, по аналогии с описанием смысла операций, выполняемых машинными командами. Описания пяти типов операторов будут даны более формально, чем это делалось до сих пор. В процессе описания каждого типа сначала будет представлено его синтаксическое определение, затем будет дано семантическое пояснение и, наконец, приведено грамматическое описание. [45]