1. Input-It May accept zero or more inputs
2. Output –it should produce at least one output.
3. Definiteness –Each instruction must be clear ,well defined .there should not be any ambiguity.
4. Finiteness-it should be sequence of finite instruction .That is ,it should end after a fixed time.
5. Effectiveness: This means that operation must be simple and carried out in a finite time.