| It is helpful to use a formal notation to define the algorithm, as it avoids ambiguity and clarifies the semantics. A
mathematical model can also easily be tested with simulated data to determine the accuracy of the model and to ensure
correct behaviour in circumstances expected to arise in the system. |