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