![]() |
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
В терминах предполных классов сформулирован алгоритм проверки полноты конечных множеств в классах линейных автоматов над конечными полями, оценен порядок времени его работы. Получены все предполные классы в классах передаточных функций линейных автоматов с операциями, индуцированными операциями композиции для этих автоматов.