Обозначим: C8 - сосуд вместимостью 8 л, C5 - сосуд вместимостью 5 л. Смысл команд:
"Наполни X" наполняем Х из крана пока не заполнится
"Вылей Х" выливаем все из сосуда Х
"Перелей из Х в У" означает, что вода из Х переливаем в У пока У не заполнится или пока Х не опустошается.
На основе этих команд получение 3 литра или 7 литра показан на рисунке.
