Cílem práce je podstatně rozšířit a intenzivně otestovat existující internetovou službu, která umí porovnávat bezkontextové gramatiky na isomofirmus a také převádět gramatiky do různých normálních forem. V rámci práce budou odstraněny chyby a nedostatky stávající aplikace (např. předpoklad konkrétního uspořádání neterminálů při odstraňování levé rekurze). Služba by měla být rozšířena zejména o analýzu zadávaných gramatik (tj. detekce, zda je gramatika v nějaké normální formě a zdůvodnění proč není, zda generuje prázdný/konečný/nekonečný jazyk, zda má vlastnost sebevložení, nalezení příkladů slov generovaných gramatikou atd.). Dále bude přidáno generování nedeterministických syntaktických analyzátorů (včetně jejich výpočtů pro zadané slovo) pro zadané gramatiky. Bude také implementována deterministická analýza pomocí C-Y-K algoritmu a to tak, aby služba byla schopna vyhodnotit i odpovědníkové otázky na toto téma. Konečně bude zřízena administrátorská stránka služby, která umožní zapnout/vypnou logování přístupů a řešených úkolů a dočasné vypnutí služby či jejich částí. Nedílnou součástí práce je zátěžový test této služby (nalezení limitů) a její optimalizace pro rychlou odezvu.