Implementace algoritmu Paige-Tarjan

Abstract

Práce se zaobírá vysvětlením algoritmu Paige-Tarjan, jeho implementací a otestováním na konečně stavových systémech. Algoritmus bude implementován v programu Paige–Tarjan napsaném v programovacím jazyce Java. Program zanalyzuje zadaný vstupní systém, přetransformuje jej a změří efektivnost celého procesu. Vstupní systém může být definován přímo v aplikaci nebo nahrán z externího souboru. Grafické uživatelské rozhraní bude implementováno pomocí knihovny Swing. Pro ověření efektivnosti algoritmu budou použity systémy s různou vnitřní strukturou.

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.