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