ALGORITHM algoRithM must satisfy the criteria input- there are zero or more quantities which are externally supplied output-at least one quantity is produced definiteness-each step (instruction ) must be clear and unambiguous finiteness- the algorithm will be terminated after a finite number of steps effectiveness-every step must be sufficiently basic that it can in principle be carried out by a person using only pencil and paper proofofcorrectness-it must be able to provide a mean to validate the correctness of the implementing operations PROGRAM MINGMETHDOLODGY AND SOFTWAREENGINEERING 港城市大 Copyrighto1998 Angus Wu ol Hone KonePROGRAMMING METHDOLODGY AND SOFTWARE ENGINEERING Copyright©1998 Angus Wu ALGORITHM ALGORITHM must satisfy the criteria: •input - there are zero or more quantities which are externally supplied •output - at least one quantity is produced. •definiteness- each step (instruction) must be clear and unambiguous • finiteness - the algorithm will be terminated after a finite number of steps • effectiveness - every step must be sufficiently basic that it can in principle be carried out by a person using only pencil and paper. • proof of correctness- it must be able to provide a mean to validate the correctness of the implementing operations