Definition:Termination of Algorithm