Комбинаторы: объекты, помогающие понять строение компьютинга. Атомарно-молекулярный материал среды компьютинга


ВЕСТНИК УДМУРТСКОГО УНИВЕРСИТЕТА

КОМПЬЮТЕРНЫЕ НАУКИ



2009. Вып.2

УДК 004.07(063)

© В. Э. Вольфенгаген, Л. Ю. Исмаилова, С. В. Косиков, А. Д. Лаптев,
В. И. Назаров, В. В. Рословцев, И. С. Сафаров, А. Л. Степанов

КОМБИНАТОРЫ: ОБЪЕКТЫ, ПОМОГАЮЩИЕ ПОНЯТЬ СТРОЕНИЕ КОМПЬЮТИНГА.




                АТОМАРНО-МОЛЕКУЛЯРНЫЙ МАТЕРИАЛ СРЕДЫ КОМПЬЮТИНГА




В повседневном компьютинге над сущностями выполняются операции, на внутреннюю структуру которых обращается мало внимания. Вместе с тем многие обычные операции состоят из более примитивных конструкций, соединенных посредством способа комбинирования. Взаимодействие конструкций осуществляется в среде «аппликативного взаимодействия», а изучение свойств этой среды позволяет понять природу вычислений.
   В настоящей работе основное внимание уделено выяснению технологических особенностей вычислений с объектами. Их взаимодействие рассматривается в аппликативной среде, что позволяет выяснять внутреннюю структуру обычных операций, знание которой позволяет понять их свойства. Обсуждается выбор исходных константных сущностей, считающихся исходными и называемыми комбинаторами. Эти исходные сущности используются как основные «строительные блоки», вступающие в аппликативной среде во взаимодействие друг с другом. В результате взаимодействия возникают конструкции, дающие представительные наборы обычных операторов и погруженные вычислительные системы.

Ключевые слова-, комбинаторная логика, компьютинг, аппликативная среда, погруженные вычислительные системы.




                Введение




   Обилие предоставляемых информационных сервисов заставляет по-новому взглянуть на то, какие же функции они в действительности выполняют. Представление о внутренней структуре сервисов обычно отсутствует, а их вычислительное поведение остается до конца не ясным. Попытки сузить круг явлений и специализировать применяемые средства до специальных разделов программирования переводят обсуждение в плоскость реализации, нагромождая второстепенные детали и уводя в сторону от важных механизмов, которые лежат в основе всякого вычисления [1]. Похоже, что трудности создания моделей вычислений [2-6] во многом остались не преодоленными, а взамен возникли иные направления исследований [7], на время отставившие старые вопросы и предлагающие заняться пока еще не вызвавшими разочарования моделями, границы применения которых на время остаются не выясненными.
   Вопросы же компьютинга отдаются на волю компаний-разработчиков, которые ориентируются на потребности рынка сбыта, а не на поиск действительно перспективных концепций [8]. Связи же технологического и естественного компьютинга только лишь намечаются, а о сложившейся понятийной основе пока говорить не приходится, хотя имеются сильные аргументы, что на их роль претендует аппликативный компьютинг и комбинаторная логика [9,10].
   В лучшем случае превалирует вполне прагматическая — и технологическая, — точка зрения, принимающая в качестве основного вызова развитию компьютинга сеть Web, которая рассматривается как однородный и в высокой степени связный набор вычислительных ресурсов, что может рассматриваться как некоторый метакомпьютер [11]. На пути характеризации ассоциированной этому скорее гипотетическому, чем даже виртуальному вычислителю среды вычислений возникает ряд принципиальных трудностей, которые преодолеть не удалось [12]. Нет ясности, какого рода языками программирования нужно оснастить этот метакомпьютер, поскольку не удается получить единую модель вычислений, включающую наблюдаемые эффекты Web, а предложения ограничиваются весьма специальными случаями [13]. Исследователи не