Btw olyan nem letezik, hogy a legaprobb szinten megterevezed a feladatot, illetve letezik, kodolasnak hivjak
Én ugyan nem programozó vagyok, de úgy tudom, létezik olyan eljárás, hogy formális logikával elemzik / bizonyítják, hogy egy megtervezett algoritmus jó, és utána ültetik át valami programnyelvre