Рословцев В.В.
СТРУКТУРА И МЕТОД ФОРМИРОВАНИЯ АППЛИКАТИВНОЙ ВЫЧИСЛИТЕЛЬНОЙ СРЕДЫ
Национальный исследовательский ядерный университет
«Московский инженерно-физический институт»
В настоящей работе обсуждается состав и структура аппликативной вычислительной среды, выбор первичных элементов при построении новой среды, рассматривается в этой связи роль и особенности λ-исчисления. Предлагается более общий, по сравнению со стандартным, вариант аппликативной структуры, учитывающий схему построения объектов среды.
Ключевые слова: аппликативные вычислительные системы, аппликативная среда вычислений, аппликативный компьютинг, комбинаторная логика, λ-исчисление
The issues covered in the present paper are: applicative computational systems' composition and structure; selecting primary elements for the purpose of building a new environment. With respect to these, the role and particular features of the λ-calculus are covered. A variation of the conventional applicative structure is suggested, being more general and reflecting regularity features of how computational systems' objects are build.
Key words: applicative computational systems, applicative computational environment, applicative computing, combinatory logic, λ-calculus.
1. Введение
Аппликативные вычислительные системы (АВС) представляют собой средство реализации аппликативного компьютинга (см. [1, 2]), который подразумевает композиционное построение вычислений из ранее вычисленных блоков, в которых все переменные связаны, а сами они замкнуты. АВС характеризуются следующими отличительными особенностями [2]:
а) объекты представляют собой функциональные сущности; основной способ построения составных объектов – операция аппликации, или применения, одного объекта к другому, что содержательно понимается как применение объекта-функции к объекту-аргументу;
б) объекты способны, в зависимости от контекста, выступать как в роли функции, так и в роли аргумента, допускается самоприменимость объектов;
в) число аргументных мест (арность) объектов-функций не фиксировано заранее, но проявляется постепенно в процессе взаимодействия с другими объектами.
Вычисление в таких системах (подробное обсуждение см. [3], в особ. гл. 5 и 6) представляет либо редукцию некоторого составного объекта к одной из его нормальных форм, либо, наоборот, экспансию – получение, синтез более сложного объекта из более простого. Хотя оба эти процесса – редукция и экспансия – представляют большой интерес, термин «вычисление» чаще всего используется в более узком смысле и обозначает лишь редукцию.