|
|
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.
|
|
|
Zpětný překlad vybraných konstrukcí jazyka C++
Mihulka, Tomáš ; Zemek, Petr (oponent) ; Matula, Peter (vedoucí práce)
Tato práce se zabývá rekonstrukcí hierarchie tříd a jejich virtuálních metod z programů vytvořených jazykem C++. Cílem práce je rozšířit zpětný překladač, který je vyvíjen v rámci projektu Lissom o analýzu těchto konstrukcí pro různé překladače. Rekonstrukce jsou realizovány detekcí Run- Time Type Information (zkratka RTTI ) a virtuálních tabulek. V úvodní části práce je popsán vědní obor reverzní inženýrství a projekt Lissom s jeho zpětným překladačem. Poté následuje popis jazyka C++, jeho struktur s možnostmi jejich dekompilace. Dále následuje část věnující se návrhu, implementaci a testování rozpoznání RTTI a virtuálních tabulek.
|
|
|
Ochrana softwaru pro Linux proti zpětnému inženýrství
Korec, Tomáš ; Zemek, Petr (oponent) ; Hruška, Tomáš (vedoucí práce)
Táto práce se zabývá implementací ochrany softwaru před reverzním inženýrstvím pro Linux v rámci projektu Lissom. Ochrana se skládá ze tří úrovní. První úroveň tvoří metody detekující nástroje, které umožňují aplikaci metod reverzního inženýrství. Ochrana založená na hashování funkcí reprezentuje druhou úroveň, která chrání aplikaci proti změnám. Třetí úroveň ochrany představuje šifrování částí binárního souboru. Ochrany dopĺňují existující licenční server projektu Lissom. V závěru práce jsou diskutována možná budoucí rozšíření.
|
|
|
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.
|
|
|
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.
|
|
|
Zadní část zpětného překladače produkující kód v jazyce C
Urban, Martin ; Ďurfina, Lukáš (oponent) ; Zemek, Petr (vedoucí práce)
Práce popisuje implementaci zadní části zpětného překladače produkujícího kód v jazyce C. Obsahuje základní informace o principech a využití reverzního inženýrství v oblasti informačních technologií i mimo něj. Hlavním cílem je vytvořit zadní část zpětného překladače, která bude generovat kód ekvivalentní vůči vstupu, který bude opět přeložitelný do binární formy se zachováním stejné funkčnosti jako zdrojový binární kód. Výstupem je implementace tříd v jazyce C++, vykonávající popisovanou činnost jako součást obecného dekompilátoru, který je vyvíjený v rámci projektu Lissom.
|
host ::
RSS.