Аннотация. 

Изложен метод конструирования разрешающих структур на задачных графах системы знаний о программируемых задачах. По спецификации исходной задачи ищется подграф задачного графа, все вершины которого представлены задачами с известными алгоритмами.