Práce je rozdělena do dvou částí. V první části se snaží podat souhrnný přehled důkazů řešitelnosti, resp. neřešitelnosti nejznámějších problémů z teorie formálních jazyků a automatů. Druhá část se zabývá vytvořením aplikace, která implementuje algoritmy vybraných řešitelných problémů. Jedná se např. o problém příslušnosti pro bezkontextové a regulární gramatiky nebo problém prázdnosti pro bezkontextové gramatiky. Na základě toho je tedy např. aplikace schopna rozhodnout, zda zadané slovo náleží do příslušného jazyka nebo zda jazyk generovaný danou gramatikou je prázdný.