A Study of Computer-Based Problem Solving Based on Equivalent Transformations

In order to solve a given problem by using a computer, we need an. algorithm. If an algorithm is produced with being based on human inspiration, then it is difficult to guarantee the corectness and efficiency of the algorithm. Correctness and efficiency are important sides of quality of algorithms. It is necessary that algorithms are produced with being based on theories. A given problem is expressed by using a formal language. Algorithms consists of means to operate such expressed problems and means to .control applications of operations. In this study, I only use equivalent transformations for such operations. Equivalent transformations guarantee the correctness of algorithms. Appropriate control of applying equivalent transformations makes algorithms efficient