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