RUS  ENG
Full version
JOURNALS // Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp'yuternye Nauki // Archive

Vestn. Udmurtsk. Univ. Mat. Mekh. Komp. Nauki, 2009 Issue 2, Pages 132–146 (Mi vuu21)

COMPUTER SCIENCE

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

V. E. Wolfengagena, L. Yu. Ismailovab, S. V. Kosikovb, A. D. Laptevb, V. N. Nazarovb, V. V. Roslovtsevb, I. S. Safarovb, A. L. Stepanovb

a "JurInfoR-MSU" Institute for Contemporary Education, Moscow
b Moscow Engineering Physics Institute (National Nuclear Research University)

Abstract: 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.

UDC: 004.07(063)

MSC: 03B40, 68Q05, 68Q85, 68N18

Received: 03.03.2009



© Steklov Math. Inst. of RAS, 2024