Непейвода Н.Н. Программирование. Раздел 4

Непейвода Н.Н. Программирование. Страница 429

Предикаты, формирующие множества, полезны не только при работе с потенциально неограниченными множествами. В частности, они расширяют выразительность оперирования со сложно устроенными множествами. От­сюда вполне разумно предложить еще одну операцию для множественных типов данных:

{х 6 в\Р(х)} — формирование множества с помощью предикатного фильтра Р(х).

Как реализовать эту возможность? Первый приходящий на ум путь: символические вычисления над множествами. Символические вычисления предполагают выполнение действий над специально представленными обо­значениями (в данном случае — множеств и их элементов), а не над кон­кретными значениями, которые, быть может, и существуютто только в идеальном математическом смысле (7г,>/2 и др.). Их можно трактовать как абстрактносинтаксическое представление конкретносинтаксического пред­ставления языка изображения предикатов.

Язык программирования, в котором можно оперировать с потенциально бесконечными множествами, — Setl.

Интересно, что в первых версиях языка, разработанных Дж. Шварцем для советскоамериканского проекта, эта возможность не была деклари­рована. Она появилась в языке только тогда, когда новосибирскими про­граммистами было предложено представление бесконечных множеств, т. е. реализация случая (IV). Реализационная стратегия этого проекта (который уместно назвать сибирским Сетлом) опиралась именно на символические вычисления. Стоит обратить внимание на то, что именно этот язык показал, что символические вычисления с множественными типами могут провоци­ровать очень неэффективные алгоритмы, прямолинейно следующие матема­тическим определениям. Например:

Из этого определения (оператора языка Setl) извлечь, к примеру, алгоритм Евклида невозможно.

Новости

  • 1
  • 2
Prev Next

Ракета "Ангара-А5В" в ближайшее десятилетие не полетит

24.01.2016

Ракета "Ангара-А5В" в ближайшее десятилетие не полетит

Роскосмос не планирует в течение ближайшего десятилетия осуществлять пуск тяжёлой ракеты-носителя А...

Ученые РФ опровергли выводы исследований о вреде ГМО

24.01.2016

Ученые РФ опровергли выводы исследований о вреде ГМО

Исследователи из Института проблем передачи информации (ИППИ РАН) проанализировали несколько самых п...

Летающие "Крокодилы"

24.01.2016

Летающие "Крокодилы"

20 удивительных фактов о боевом вертолете Ми-24.Этот вертолет стал таким же узнаваемым символом сове...

В Аргентине описали новый вид динозавра-гиганта

24.01.2016

О ранее неизвестном виде динозавра, относящемуся к инфраотряду зауроподов, рассказали аргентинские п...

Реклама