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