|
|
Parallel Versions of General Parsing
Mikita, Tibor ; Kučera, Jiří (referee) ; Meduna, Alexandr (advisor)
This thesis deals with general parsing methods. The author studies the Cocke-Younger-Kasami algorithm and comes up with a design of a parallel version. The motivation of~the author is the acceleration of parsing based on this algorithm. The result is a console application that can determine whether an input string belongs to a language generated by the input grammar or not on the basis of the designed parallel algorithm. For the programming language, C++ was chosen. To achieve parallelism the work of the algorithm was divided among several threads.
|
|
|
C Language Source Files Similarity Detection
Rek, Petr ; Kučera, Jiří (referee) ; Matula, Peter (advisor)
This thesis deals with design, implementation and testing of the csim tool, which compares two C source files by their similarity. The primary purpose of this tool is testing of a decompiler developed by AVG Technologies s.r.o. Testing is based on comparing abstract syntax trees of the original and decompiled source files. The reader is introduced to the basics of reverse engineering, especially reverse engineering of a binary file into a high-level programming language source file. The process of compiling followed by decompiling of a file is described along with its effect on reverse engineering. The LLVM project and the Clang compiler is introduced to the reader, since its libraries are the foundation upon which the csim tool is built.
|
|
|
A Combination of Automata and Grammars
Kučera, Jiří ; Horáček, Petr (referee) ; Meduna, Alexandr (advisor)
V této práci byly zavedeny a studovány nové systémy formálních modelů, zvané stavově synchronizované automatové systémy stupně n . Výpočet je v těchto prezentovaných systémech řízen pomocí slov patřících do konečného řídícího jazyka, kde každé slovo z tohoto jazyka je složeno ze stavů komponent systému. Dále byla v této práci studována výpočetní síla zavedených systémů. Praktické použití zavedených systémů bylo demonstrováno na příkladu z oblasti překladu přirozených jazyků a dále na příkladu z oblasti paralelního překladu.
|
|
|
New Parallel and Regulated Automata and Grammars
Kučera, Jiří ; Průša, Daniel (referee) ; Sawa, Zdeněk (referee) ; Meduna, Alexandr (advisor)
Tato práce zkoumá a zavádí čtyři nové jazykové modely se zaměřením na regulované a paralelní verze automatů a gramatik. První z modelů, stavově synchronizované systémy automatů , zavádí systémy složené z konečného počtu zásobníkových automatů jejichž činnost je řízena slovy z řídícího jazyka nad množinou stavů. Druhý model, neomezené hluboké zásobníkové automaty , je variantou hlubokých zásobníkových automatů z nichž bylo sejmuto omezení kladené na hloubku expanze na zásobníku. Třetí model, skákající čisté gramatiky , zavádí skákající gramatiky bez neterminálních symbolů. Poslední model, k#$-přepisující systémy , rozšiřuje #-přepisující systémy o přídavnou zásobníkovou paměť. Text této práce je členěn do tří částí. První část uvádí motivaci k zavedení studovaných jazykových modelů a zasazuje je do kontextu souvisejících oblastí teorie formálních jazyků. Je zde také uveden přehled o celkové organizaci práce, základních pojmů teorie formálních jazyků a současných poznatků souvisejících s předmětem výzkumu. Druhá část tvoří jádro této práce. Jsou v ní formálně definovány všechny nově zavedené jazykové modely a studována jejich vyjadřovací síla. Poslední část uzavírá tuto práci souhrnem získaných teoretických výsledků společně se souvisejícími otevřenými problémy a nastiňuje cesty dalšího výzkumu spolu s výhledy na možná využití.
|
|
|
The Evulation of the Financial Situation in the Firm and Proposals to its Improvement
Provázek, Tomáš ; Kučera, Jiří (referee) ; Luňáček, Jiří (advisor)
This diploma thesis occupies with financial analysis of a firm. The aim of this thesis is to suggest some recommendation to change economy of the analyzed firm. The theoretical section of the thesis describes some methods of financial analysis, above all elementary methods. In the practical part, these methods are used for the compilation of a financial analysis of firm Family brewery Bernard and to evaluation of the economy situation of the firm. The final part brings some recommendation for improvement of the economy of the analyzed firm.
|
|
|
New challenges for the newsvendor problem
Kučera, Jiří ; Popela, Pavel (referee) ; Hrabec, Dušan (advisor)
This bachelor thesis focuses on the newsvendor problem with marketing. The first part deals with basic newsvendor problem and various modifications of the basic problem are discussed. In the following part the basic problem is modified by adding marketing and then the process of finding the optimal solution for an additive and mupliplicative form of demand is demonstrated. In this part the result for chosen model of additive case of demand is also presented. Real life applications of the newsvendor problem with marketing are then described at the end of the thesis. For some of these applications the impacts of marketing on real life markets are demonstrated.
|
|
| |
|
| |
|
|
Parsing Based on Regulated Grammars
Vaníček, Luboš ; Kučera, Jiří (referee) ; Meduna, Alexandr (advisor)
This thesis deals with regulated grammars. It describes their behavior and it compares them using different examples of context-sensitive languages. The thesis focuses mostly on programmed grammars. It modifies the methods of parsing and it uses them for programmed grammars. This thesis applies the developed method of parsing on context-sensitive languages and examines their power.
|
|
|
Two-Dimentional finite automata and their applications
Hladík, Zdeněk ; Kučera, Jiří (referee) ; Meduna, Alexandr (advisor)
This paper introduces the theory of twodimensional languages automata in comparision to the classic concept of languages and automata. This theory is used for developing special automata, that is capable of analyzing tables containing rules. These tables are conected with rules for selected european car license plates. Automata and tables are used by developed application, which can be used for car nationality identification.
|
guest ::
RSS feed.