Cílem je navrhnout softwarový nástroj pro práci s nejrůznějšími reprezentacemi formálních jazyků. Nástroj bude napsán v Javě, bude graficky orientovaný a bude snadno rozšiřitelný. Nástroj bude obsahovat objekty pro reprezentace regulárních a bezkontextových jazyků vyskytující se ve skriptech k předmětu IB005. Všechny tyto reprezentace bude možné vkládat, upravovat, zobrazovat, ukládat, načítat a tisknout. S formalizmy, které to umožňují, bude možné pracovat i v grafické či tabulkové podobě. Nástroj bude umožňovat snadno implementovat např. transformace jednotlivých reprezentací, operace (unární i binární) nad jazyky i algoritmy analyzující jazyky. Nástroj také umožní krokování algoritmů. Jako ukázkové budou v nástroji implementovány následující operace: odstranění epsilon-kroků, determinizace a minimalizace konečných automatů, paralelní synchronní kompozice konečných automatů a převod regulárních gramatik na konečné automaty a zpět. Dále bude zabudován i simulátor zásobníkových automatů. Součástí nástroje bude dokumentace obsahující i tutoriál k rozšiřování aplikace.