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