Характеристики формальных исполнителей система решаемых задач