![]() |
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Введены операторы замыкания типа выпадения и вставки. Найден общий вид замкнутых классов, их автоматная сложность. Изучены такие классические вопросы из теории решеток замкнутых классов, как описание базисов, проблемы полноты, предполноты и выразимости для вводимых объектов.