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