Примітивні програмні алгебри функцій множинних (мультимножинних) аргументів та значень

Abstract

Розглядається обчислюваність на множинах та мультимножинах. Обчислюваність вводиться як нумераційна обчислюваність та апаратом для задання класу обчислюваних функцій виступають примітивні програмні алгебри. Побудовано системи породжуючих множинної та мультимножинної ППА.

We consider the computability on sets and multisets which is introduced as the numerical computability. The primitive program algebras (PPAs) are the method for definition of a class of computable functions. Systems of generators of set and multiset PPAs are constructed.