Implementace algoritmu Paige-Tarjan

Abstract

The main objectives of this thesis is to implement Paige – Tarjan algorithm in programming language Java, verify the efficiency of this algorithm and test it on finite state systems. The Paige – Tarjan application is created to verify the efficiency of this algorithm. The program analyse given system, transform it and measure the efficiency of the whole process. Input systém could be loaded from external file or directly defined in the application. Graphical user interface is constructed with help of Swing GUI Components. The solution will be tested by using input systems with different structure.