Program for Analysis of Context-free Grammars

Abstract

This thesis presents the extension and enhancement of a desktop application designed for manipulating context-free grammars, originally developed as a semestral project for the Master of Computer Science degree. The initial application served as a practical tool, offering a user-friendly interface for grammar entry, modification, and derivation construction, with features including sequential sentential forms and graphical derivation trees. Building upon this foundation, the thesis introduces new functionalities aimed at extending the analysis and transformation capabilities of the application.

The extended application now encompasses advanced grammar optimization techniques, including the reduction of given grammars by eliminating useless nonterminals and unreachable rules, as well as the removal of epsilon and unit rules. Additionally, transformations to Chomsky normal form and Greibach normal form have been implemented, with detailed step-by-step explanations provided to aid user comprehension. Users are empowered to save the transformed grammars to text files, facilitating further analysis.

Moreover, the application now offers robust analysis capabilities, including the computation of FIRST and FOLLOW sets, essential for parsing algorithms, and the determination of the type of grammar (LR(0), SLR(1), LALR(1), LR(1), LL(1)). Visual representations of LR items, action, and goto tables are provided, alongside conflict detection mechanisms to assist users in identifying and resolving parsing ambiguities.

By bridging the gap between user interaction and grammar manipulation, this comprehensive desktop application offers an accessible platform for exploring and understanding context-free grammars. Its newly added features not only enhance user experience but also deepen the application's utility in academic contexts.

Tato práce představuje rozšíření a~vylepšení desktopové aplikace určené pro manipulaci s bezkontextovými gramatikami, která byla původně vyvinuta jako semestrální projekt v~rámci magisterského studia informatiky. Původní aplikace sloužila jako praktický nástroj a~nabízela uživatelsky přívětivé rozhraní pro zadávání, úpravy a~konstrukci gramatik s~funkcemi zahrnujícími sekvenční větné formy a~derivační stromy v~grafické podobě. Na tomto základě práce zavádí nové funkce, jejichž cílem je rozšířit analytické a transformační možnosti aplikace.

Rozšířená aplikace nyní zahrnuje pokročilé techniky optimalizace gramatik, včetně redukce daných gramatik odstraněním zbytečných neterminálů a~nedosažitelných pravidel, jakož i~odstranění epsilonových a~jednoduchých pravidel. Kromě toho byly implementovány transformace do Chomského normální formy a~Greibachové normální formy s~podrobnými vysvětlivkami krok za krokem, které uživateli usnadňují pochopení. Uživatelé mají možnost ukládat transformované gramatiky do textových souborů, což usnadňuje další analýzu.

Kromě toho aplikace nyní nabízí robustní možnosti analýzy, včetně výpočtu množin FIRST a FOLLOW, které jsou nezbytné pro algoritmy parsování, a určení typu gramatiky (LR(0), SLR(1), LALR(1), LR(1), LL(1)). K~dispozici jsou vizuální reprezentace položek LR, akcí a GOTO tabulek a~mechanismy detekce konfliktů, které uživatelům pomáhají při identifikaci a~řešení nejednoznačností při parsování.

Tím, že tato komplexní desktopová aplikace překlenuje propast mezi interakcí uživatele a~manipulací s~gramatikou, nabízí přístupnou platformu pro zkoumání a~pochopení bezkontextových gramatik. Její nově přidané funkce nejen zvyšují uživatelský komfort, ale také prohlubují užitečnost aplikace pro účely výuky.