|
|
Grafické uživatelské rozhraní rekonfigurovatelného zpětného překladače
Jánský, Jiří ; Zemek, Petr (oponent) ; Matula, Peter (vedoucí práce)
P { margin-bottom: 0.21cm; direction: ltr; color: rgb(0, 0, 0); line-height: 150%; widows: 2; orphans: 2; }P.western { font-family: "Times New Roman",serif; font-size: 11pt; }P.cjk { font-family: "Times New Roman",serif; font-size: 11pt; }P.ctl { font-family: "Times New Roman",serif; font-size: 12pt; } Práce se zabývá vytvářením grafického rozhraní pro zpětný překladač projektu Lissom, jenž je řízen z příkazové řádky. Jeho ovládáním překladač produkuje přeložený kód a grafu volání funkcí a kontroly toku. Zmíněné výstupy překladače zobrazuje, funkčně spojuje a jednotlivým reprezentacím výstupu přidává užitečné funkce.
|
|
|
One-Sided Random Context Grammars
Zemek, Petr ; Černá, Ivana (oponent) ; Doc. In.g Petr Sosík, Dr. (oponent) ; Meduna, Alexandr (vedoucí práce)
This thesis introduces the notion of a one-sided random context grammar as a context-free-based regulated grammar, in which a set of permitting symbols and a set of forbidding symbols are attached to every rule, and its set of rules is divided into the set of left random context rules and the set of right random context rules . A left random context rule can rewrite a nonterminal if each of its permitting symbols occurs to the left of the rewritten symbol in the current sentential form while each of its forbidding symbols does not occur there. A right random context rule is applied analogically except that the symbols are examined to the right of the rewritten symbol. The thesis is divided into three parts. The first part gives a motivation behind introducing one-sided random context grammars and places all the covered material into the scientific context. Then, it gives an overview of formal language theory and some of its lesser-known areas that are needed to fully grasp some of the upcoming topics. The second part forms the heart of the thesis. It formally defines one-sided random context grammars and studies them from many points of view. Generative power, relations to other types of grammars, reduction, normal forms, leftmost derivations, generalized and parsing-related versions all belong between the studied topics. The final part of this thesis closes its discussion by adding remarks regarding its coverage. More specifically, these remarks concern application perspectives, bibliography, and open problem areas.
|
|
|
Automaty s ohraničeným počtem čistých zásobníků
Soukup, Ondřej ; Zemek, Petr (oponent) ; Meduna, Alexandr (vedoucí práce)
Zásobníkové automaty s omezeným počtem čistých zásobníků jsou specializací čistých zásobníkových automatů. Jejich síla je zkoumána především z pohledu kombinatoriky na slovech. V jazyku definovaném automatem je zaveden termín závislost, který označuje vztah mezi částmi řetězců jazyka. Je ukázáno, jak postupuje definovaný automat při zpracování závislostí. Dále je odvozen vztah mezi rozložením závislostí v jazyku a nutným počtem zásobníků automatu. Je definována nekonečná hierarchie jazyků korespondujících k automatům v závislosti na počtu jejich zásobníků. Nakonec je zkoumáno zařazení třídy jazyků definované zásobníkovými automaty s omezeným počtem čistých zásobníků do Chomského hierarchie jazyků, ovšem je zjištěno, že s Chomského hierarchií nekorespondují. Na základě výsledku je jako další vývoj navrhováno zkoumání možných úprav modelů. Pro demonstraci vlastností zkoumaných automatů je následně vytvořen simulační program.
|
|
|
Převod gramatik do normálních forem
Klapuchová, Mirka ; Koutný, Jiří (oponent) ; Zemek, Petr (vedoucí práce)
Práce se zabývá problematikou normálních forem z teorie formálních jazyků. Jsou zde uvedeny základní pojmy z této oblasti, dále různé typy gramatik a především normální formy a algoritmy pro převod gramatik do těchto forem. Součástí práce je popis návrhu a implementace programu, který slouží k převodu vstupní gramatiky do zadané normální formy.
|
|
|
O vymazávacích pravidlech v řízených gramatikách
Zemek, Petr ; Koutný, Jiří (oponent) ; Meduna, Alexandr (vedoucí práce)
V této práci je diskutován vliv vymazávacích pravidel na generativní sílu řízených gramatik, což je velký otevřený problém teorie řízeného přepisování. Tato práce studuje možnost odstranění vymazávacích pravidel z těchto gramatik tak, že shromažďuje aktuální výsledky na toto téma a přináší novou podmínku, nazvanou k-limitované vymazávání, která zaručuje, že jsme bez vlivu na generovaný jazyk schopni odstranit všechna vymazávací pravidla z libovolné bezkontextové gramatiky řízené regulárním jazykem splňující tuto podmínku. Tento výsledek je částečným řešením výše zmíněného problému. Mimoto je prezentován nový algoritmus k odstranění vymazávacích pravidel z bezkontextových gramatik, který nepotřebuje předurčovat tzv. epsilon-neterminály (na rozdíl od standardního algoritmu používaného v učebnicích). V závěru je zhodnocen přínos těchto výsledků pro syntaktickou analýzu.
|
|
|
Kanonické derivace programovaných gramatik
Zemek, Petr ; Masopust, Tomáš (oponent) ; Meduna, Alexandr (vedoucí práce)
V této práci jsou studovány kanonické derivace (se zaměřením na nejlevější derivace) v programovaných gramatikách a rozsah levého omezení. Je ukázáno, že zavedením n-limitovaných derivací v programovaných gramatikách tak, jako byly zavedeny pro stavové gramatiky, dostaneme nekonečnou hierarchii jazykových tříd vyplývající z n-limitovaných programovaných gramatik, takže rozsah levého omezení ovlivňuje generativní sílu n-limitovaných programovaných gramatik. Tento výsledek má význam pro syntaktickou analýzu založenou na programovaných gramatikách.
|
|
|
Reformace, protireformace a rozvinutí poreformačního katolictví v Uherském Brodě - křesťanská víra v proměnách času
Zemek, Petr ; Rejchrtová, Noemi (vedoucí práce) ; Válka, Josef (oponent) ; Pojsl, Miloslav (oponent)
Studie je pokusem o zachycení charakteru a proměn života, myšlení a cítění obyvatel města Uherský Brod jakožto křesťanů v časovém úseku 16. - 18. století. Cílem je bližší poznání vnitřních i vnějších činitelů, utvářejících specifickou lokální religiozitu v procesu mohutných proměn církve na sklonku středověku a začátku nové doby. Byla zvolena relativně malá sociální jednotka, aby bylo možno slednovat i jednotlivce a jejich chování. V Uherském Brodě došlo vícekrát k zásadním změnám konfesních poměrů. Nejdůležitější z hlediska pozdějšího vývoje bylo pobělohorské pokatoličtění, které natrvalo ovlivnilo náboženskou situaci města i kraje. Skrze dochovaný pramenný materiál se autor snaží porozumět lidem, kteří se těchto procesů aktivně i pasivně účastnili, aby tak přispěl k poznávání raněnovověkého kulturního vývoje především v rámci regionu. Powered by TCPDF (www.tcpdf.org)
|
|
|
Grafické uživatelské rozhraní rekonfigurovatelného zpětného překladače
Jánský, Jiří ; Zemek, Petr (oponent) ; Matula, Peter (vedoucí práce)
P { margin-bottom: 0.21cm; direction: ltr; color: rgb(0, 0, 0); line-height: 150%; widows: 2; orphans: 2; }P.western { font-family: "Times New Roman",serif; font-size: 11pt; }P.cjk { font-family: "Times New Roman",serif; font-size: 11pt; }P.ctl { font-family: "Times New Roman",serif; font-size: 12pt; } Práce se zabývá vytvářením grafického rozhraní pro zpětný překladač projektu Lissom, jenž je řízen z příkazové řádky. Jeho ovládáním překladač produkuje přeložený kód a grafu volání funkcí a kontroly toku. Zmíněné výstupy překladače zobrazuje, funkčně spojuje a jednotlivým reprezentacím výstupu přidává užitečné funkce.
|
|
|
Reformace, protireformace a rozvinutí poreformačního katolictví v Uherském Brodě - křesťanská víra v proměnách času
Zemek, Petr ; Rejchrtová, Noemi (vedoucí práce) ; Válka, Josef (oponent) ; Pojsl, Miloslav (oponent)
Studie je pokusem o zachycení charakteru a proměn života, myšlení a cítění obyvatel města Uherský Brod jakožto křesťanů v časovém úseku 16. - 18. století. Cílem je bližší poznání vnitřních i vnějších činitelů, utvářejících specifickou lokální religiozitu v procesu mohutných proměn církve na sklonku středověku a začátku nové doby. Byla zvolena relativně malá sociální jednotka, aby bylo možno slednovat i jednotlivce a jejich chování. V Uherském Brodě došlo vícekrát k zásadním změnám konfesních poměrů. Nejdůležitější z hlediska pozdějšího vývoje bylo pobělohorské pokatoličtění, které natrvalo ovlivnilo náboženskou situaci města i kraje. Skrze dochovaný pramenný materiál se autor snaží porozumět lidem, kteří se těchto procesů aktivně i pasivně účastnili, aby tak přispěl k poznávání raněnovověkého kulturního vývoje především v rámci regionu. Powered by TCPDF (www.tcpdf.org)
|
|
|
One-Sided Random Context Grammars
Zemek, Petr ; Černá, Ivana (oponent) ; Doc. In.g Petr Sosík, Dr. (oponent) ; Meduna, Alexandr (vedoucí práce)
This thesis introduces the notion of a one-sided random context grammar as a context-free-based regulated grammar, in which a set of permitting symbols and a set of forbidding symbols are attached to every rule, and its set of rules is divided into the set of left random context rules and the set of right random context rules . A left random context rule can rewrite a nonterminal if each of its permitting symbols occurs to the left of the rewritten symbol in the current sentential form while each of its forbidding symbols does not occur there. A right random context rule is applied analogically except that the symbols are examined to the right of the rewritten symbol. The thesis is divided into three parts. The first part gives a motivation behind introducing one-sided random context grammars and places all the covered material into the scientific context. Then, it gives an overview of formal language theory and some of its lesser-known areas that are needed to fully grasp some of the upcoming topics. The second part forms the heart of the thesis. It formally defines one-sided random context grammars and studies them from many points of view. Generative power, relations to other types of grammars, reduction, normal forms, leftmost derivations, generalized and parsing-related versions all belong between the studied topics. The final part of this thesis closes its discussion by adding remarks regarding its coverage. More specifically, these remarks concern application perspectives, bibliography, and open problem areas.
|
host ::
RSS.