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