|
|
Automatové systémy
Petřík, Patrik ; Lukáš, Roman (oponent) ; Meduna, Alexandr (vedoucí práce)
V této práci jsou definovány paralelní automatové systémy a paralelně komunikující automatové systémy komunikující přechody, které obsahují jako komponenty konečné automaty. Jsou zkoumány jejich vlastnosti vzhledem k jiným gramatickým systémům či gramatikám.
|
|
|
Syntaktická analýza založená na maticových gramatikách
Brindza, Dominik ; Horáček, Petr (oponent) ; Zámečníková, Eva (vedoucí práce)
Tato bakalářská práce se zabývá syntaktickou analýzou založenou na maticových gramatikách. V teoretické části nejdříve přináší několik různých pohledů na tento typ řízených gramatik a zkoumá podobnosti s klasickými bezkontextovými gramatikami. Z těchto podobností se poté v praktické části snaží vycházet při návrhu modelu prediktivní syntaktické analýzy pro některé kontextové jazyky, ke kterým můžeme sestrojit odpovídající maticové gramatiky, které je generují. V práci jsou rovněž prezentovány některé experimentální algoritmy a návrh řešení, které by se daly spíše využít při dalším vývoji projektu.
|
|
|
Syntaktická analýza řízených gramatik
Šrajer, Roman ; Čermák, Martin (oponent) ; Křivka, Zbyněk (vedoucí práce)
Diplomová práce se zabývá řízenými gramatikami, jejich principem a vyjadřovacími schopnostmi vzhledem k Chomského klasi kaci jazyků. Více do detailů je probrána programovaná gramatika z hlediska různých typů nejlevějších derivací. V práci je prezentována varianta deterministické syntaktické analýzy programovaných gramatik, která pracuje podobně jako analýza LL(k) gramatik. Dále jsou představeny algoritmy pro převod maticových gramatik na programované bez změny vyjadřovací síly. Rovněž je prezentován mechanismus syntaktické analýzy regulárně řízených gramatik za pomocí programované gramatiky. Nakonec jsou prezentovány kooperující distribuované gramatiky s levě povolujícími gramatikami jako komponenty. Jejich syntaktická analýza je zajištěna buď deterministicky pomocí prediktivní tabulky nebo prohledáváním stavového prostoru.
|
|
|
Automatové systémy
Petřík, Patrik ; Lukáš, Roman (oponent) ; Meduna, Alexandr (vedoucí práce)
V této práci jsou definovány paralelní automatové systémy a paralelně komunikující automatové systémy komunikující přechody, které obsahují jako komponenty konečné automaty. Jsou zkoumány jejich vlastnosti vzhledem k jiným gramatickým systémům či gramatikám.
|
|
|
Syntaktická analýza založená na maticových gramatikách
Brindza, Dominik ; Horáček, Petr (oponent) ; Zámečníková, Eva (vedoucí práce)
Tato bakalářská práce se zabývá syntaktickou analýzou založenou na maticových gramatikách. V teoretické části nejdříve přináší několik různých pohledů na tento typ řízených gramatik a zkoumá podobnosti s klasickými bezkontextovými gramatikami. Z těchto podobností se poté v praktické části snaží vycházet při návrhu modelu prediktivní syntaktické analýzy pro některé kontextové jazyky, ke kterým můžeme sestrojit odpovídající maticové gramatiky, které je generují. V práci jsou rovněž prezentovány některé experimentální algoritmy a návrh řešení, které by se daly spíše využít při dalším vývoji projektu.
|
|
|
Syntaktická analýza řízených gramatik
Šrajer, Roman ; Čermák, Martin (oponent) ; Křivka, Zbyněk (vedoucí práce)
Diplomová práce se zabývá řízenými gramatikami, jejich principem a vyjadřovacími schopnostmi vzhledem k Chomského klasi kaci jazyků. Více do detailů je probrána programovaná gramatika z hlediska různých typů nejlevějších derivací. V práci je prezentována varianta deterministické syntaktické analýzy programovaných gramatik, která pracuje podobně jako analýza LL(k) gramatik. Dále jsou představeny algoritmy pro převod maticových gramatik na programované bez změny vyjadřovací síly. Rovněž je prezentován mechanismus syntaktické analýzy regulárně řízených gramatik za pomocí programované gramatiky. Nakonec jsou prezentovány kooperující distribuované gramatiky s levě povolujícími gramatikami jako komponenty. Jejich syntaktická analýza je zajištěna buď deterministicky pomocí prediktivní tabulky nebo prohledáváním stavového prostoru.
|
host ::
RSS.