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