ИСТИНА |
Войти в систему Регистрация |
|
ИСТИНА ИНХС РАН |
||
Для классов линейно-автоматных функций над конечными полями получен алгоритм проверки полноты конечных подмножеств по операциям композиции (суперпозиции и обратной связи).