|
Алгебро-логические методы в информатике и искусственный интеллект
О решетке $ES_I$-замкнутых классов мультифункций ранга $2$
В. И. Пантелеев, Э. С. Тагласов Иркутский государственный университет, Иркутск, Российская Федерация
Аннотация:
Рассмотрены мультифункции на двухэлементном множестве вместе с операторами суперпозиции и разветвления по предикату равенства. Оператор суперпозиции основан на пересечении множеств. Основная цель работы — описание всех замкнутых относительно рассматриваемых операторов классов. Оператор разветвления по предикату равенства позволяет поставленную задачу свести к описанию всех замкнутых классов, порожденных мультифункциями от двух переменных. Показано, что решетка замкнутых относительно рассматриваемых операторов классов содержит 237 элементов, что расширяет известный результат о всех замкнутых классах частичных функций на двухэлементном множестве. Для каждого замкнутого класса указано порождающее множество.
Ключевые слова:
мультифункция, суперпозиция, предикат равенства, замыкание, предполное множество, решетка замкнутых классов.
Поступила в редакцию: 25.10.2021
Образец цитирования:
В. И. Пантелеев, Э. С. Тагласов, “О решетке $ES_I$-замкнутых классов мультифункций ранга $2$”, Известия Иркутского государственного университета. Серия Математика, 38 (2021), 96–111
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/iigum471 https://www.mathnet.ru/rus/iigum/v38/p96
|
|