Cтраница 2
Другими словами, понятие определяется во взаимодействии синтаксических и семантических правил. Синтаксические правила показывают, как образуется данное понятие из других понятий или символов алфавита языка. Семантические правила определяют свойства, приписываемые данному понятию, в зависимости от свойств понятий, используемых в указанных синтаксических правилах. Перечисленные три составные части языка ( алфавит, синтаксис и семантика) позволяют точно ответить на вопрос, что является алгоритмом на этом языке и каким именно, так как они определяют и то, какие символы могут использоваться для описания процессов переработки данных, и то, какие их последовательности являются допустимыми, и то, какие акты переработки информации представляют эти последовательности. [16]
Так, Хомский дал примеры фраз, которые имеют одинаковую грамматическую структуру, но одна из которых наделена значением, а другая - нет. Сверх того, существуют намеки, как в популярном вест-индском припеве: Yo daddy ain t yo daddy but yo daddy don t know ( ваш папа не ваш папа, но ваш папа не знает); их значение очевидно людям с жизненным опытом, но их семантические правила необъяснимы. [17]
Чтобы убедиться, что наша программа удовлетворяет синтаксическим правилам языка Модулы-2, нужно только проследить пути синтаксической диаграммы и сравнить каждое слово, символ или знак препинания нашей программы с соответствующими элементами диаграммы. Если вы проследите ряд путей синтаксической диаграммы, соединяющих все элементы вашей программы, то можете быть уверены, что компилятор Модулы-2 не отвергает программу на основании грамматики. Конечно, ваша программа может все-таки не выполнять функции, для которых вы ее создавали, так как синтаксис гарантирует только правильность грамматики. В каждом языке есть как синтаксические, так и семантические правила. Приводимые в данной книге диаграммы дают сводку синтаксиса Модулы-2. Чтобы придать вашим программам смысл, еще нужно освоить семантические правила, которым посвящена остальная часть книги. [18]
Эмпирические теории не состоят исключительно из суждений, которые могут быть проверены экспериментально, а включают комбинации аналитических и эмпирических суждений. Синтаксическую или логическую часть такой теории можно вычленить и изучать отдельно от эмпирической. Этот процесс обычно называется аксиоматизацией или формализацией теории, а его результат носит название аксиоматической или формальной системы. Таким образом, очевидно, что: а) формальная теория per se ( сама по себе) не является эмпирической теорией, и б) для того чтобы формальная теория могла использоваться в эмпирической науке, необходимо также задать семантические правила. [19]
Чтобы убедиться, что наша программа удовлетворяет синтаксическим правилам языка Модулы-2, нужно только проследить пути синтаксической диаграммы и сравнить каждое слово, символ или знак препинания нашей программы с соответствующими элементами диаграммы. Если вы проследите ряд путей синтаксической диаграммы, соединяющих все элементы вашей программы, то можете быть уверены, что компилятор Модулы-2 не отвергает программу на основании грамматики. Конечно, ваша программа может все-таки не выполнять функции, для которых вы ее создавали, так как синтаксис гарантирует только правильность грамматики. В каждом языке есть как синтаксические, так и семантические правила. Приводимые в данной книге диаграммы дают сводку синтаксиса Модулы-2. Чтобы придать вашим программам смысл, еще нужно освоить семантические правила, которым посвящена остальная часть книги. [20]
Упор был сделан на основные концепции и реализацию. В этой главе мы представляем метод индексации и абстракции изображений в более формальном и теоретическом виде. Концепции логической и физической картин были введены в предыдущих главах; здесь мы их определим формально. Язык запросов по изображению системы DIM АР был описан в предыдущей главе; в этой главе мы дадим общее представление о запросах по изображению. Индексирование изображений облегчает извлечение информации из визуальной базы данных, включающей визуальные объекты и отношения. Чтобы строить индексы изображений, формулируются операции абстракции для кластеризации и классификации визуальных объектов. Для реализации операций абстракции также формально мы опишем синтаксические и семантические правила абстракции. Затем с помощью примеров мы проиллюстрируем, как применять операции абстракции для получения различных индексов изображений и как создавать иконы для облегчения доступа к визуальным данным. [21]