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