Комбинаторы: объекты, помогающие понять строение компьютинга

 pdf (751K)

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

Ключевые слова: комбинаторная логика, компьютинг, аппликативная среда, погруженные вычислительные системы
Цитата: Вестник Удмуртского университета. Математика. Механика. Компьютерные науки, 2009, вып. 2, с. 132-146
DOI: 10.20537/vm090214

Combinators: objects for knowing the structure of computing. Atomic and molecular granularity of computing environment

In everyday computing the entities are involved into operations whose inner structure is not paid much of attention. Nevertheless many of usual operations consist of more primitive constructs combined by a mode of combining. An interaction of constructs take place within environment of «applicative interaction» and studying the properties of this environment allows to get familiar with the nature of computations.
This paper pays main attention to knowing the technological features of computations with objects. Their interaction is assumed in applicative environment allowing to know the intrinsic structure of usual operations and this knowledge allows to know their properties in turn. The choice of primary constant entities is discussed and these entities are assumed as initial and are referred to as combinators. These primary entities are used as main "building blocks" participating in interaction each with other in the applicative environment. This interaction results in the constructs giving rise to the representative sets of usual operators and embedded computational systems.

Keywords: combinatory logic, computing, applicative environment, embedded computational systems
Citation in English: Bulletin of Udmurt University. Mathematics, Mechanics, Computer Science, 2009, issue 2, pp. 132-146

Журнал индексируется в Web of Science (Emerging Sources Citation Index)

Журнал индексируется в Scopus

Журнал входит в базы данных zbMATH, MathSciNet

Журнал включен в базу данных Russian Science Citation Index (RSCI) на платформе Web of Science

Журнал включен в перечень ВАК.

Электронная версия журнала на Общероссийском математическом портале Math-Net.Ru.

Журнал включен в Crossref