История изменений
Исправление firkax, (текущая версия) :
Гарантией что алгоритм на том самом формальном языке правильный (соответствует желаниям пользователя) - тоже. Ничего другого принципиально не может быть, до тех пор пока ты не сделаешь формальный строгий интерпретатор естественного языка. Который, разумеется, тоже невозможен потому как естественный язык сам по себе не строгий.
Исходная версия firkax, :
Гарантией что алгоритм на том самом формальном языке правильный (соответствует желаниям пользователя) - тоже.