ИСТИНА |
Войти в систему Регистрация |
|
ИСТИНА ИНХС РАН |
||
Изучена задача точного синтеза автомата со всеми состояниями, в том числе недостижимыми.