задачи на переливание

Пример задачи: У исполнителя “Водолей” есть два сосуда, первый объемом A литров, второй объемом B литров, а также кран с водой. Водолей может выполнять следующие операции: Наполнить сосуд A Наполнить сосуд B Вылить воду из сосуда A Вылить воду из сосуда B Перелить воду из сосуда A в сосуд B Перелить воду из сосуда B в сосуд A Команда переливания из одного сосуда в другой приводят к тому, что либо первый сосуд полностью опустошается, либо второй сосуд полностью наполняется.