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