>Algorithm and formal definition