|
|
Predictive Parsing with Deep Pushdowns
Viktorin, Jiří ; Blatný, Petr (referee) ; Meduna, Alexandr (advisor)
This paper introduces a generalization of classical pushdown automata-deep pushdown automata. Deep pushdown automata expand a pushdown symbol in a depth defined by a rule. Deep pushdown expands a non-terminal in the deep defined in the rule and this non-terminal need not be on the top of pushdown.
|
|
|
Distributed Password Generation Using Probabilistic Grammars
Mikuš, Dávid ; Ryšavý, Ondřej (referee) ; Hranický, Radek (advisor)
This thesis describes a process of cracking a password, existing types of attacks and generating passwords using probabilistic grammar. This grammar can be used as an attack that works on the basis of learning from an existing list of passwords and generating them by using constructed context-free grammar from the learning phase. The core of this thesis is the design and implementation of distribution solution for this type of attack. Implementation includes refactoring of existing solution and optimization to maximize use of every available resource.
|
|
|
Grammatical Evolution in Software Optimization
Pečínka, Zdeněk ; Minařík, Miloš (referee) ; Sekanina, Lukáš (advisor)
This master's thesis offers a brief introduction to evolutionary computation. It describes and compares the genetic programming and grammar based genetic programming and their potential use in automatic software repair. It studies possible applications of grammar based genetic programming on automatic software repair. Grammar based genetic programming is then used in design and implementation of a new method for automatic software repair. Experimental evaluation of the implemented automatic repair was performed on set of test programs.
|
|
|
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.
|
|
|
A CPU Emulator for Assembler Course
Charvát, Lukáš ; Nagy, Jan (referee) ; Smrčka, Aleš (advisor)
The bachlors's thesis discusses the design of a CPU architecture emulator aimed to assembly languages course. While most of nowadays emulators are architecture specific, this document describes an approach to create an emulator allowing users to easily set up their own architecture, to perform operations upon it, and to display its current state.
|
|
|
Compiler of State Diagram Language to CHILL Language
Goldmannová, Zuzana ; Matoušek, Petr (referee) ; Ryšavý, Ondřej (advisor)
This thesis deals with the grammar of an existing proprietary state diagram language, which is used to simulate state diagrams employed in telephone exchanges. The goal of this work is to analyze the grammar and existing compiler of this language to CHILL language and also to design and implement a new compiler. This new compiler will be easier to manage and will eliminate errors and imperfections of the current arrangement. Finally this compiler is tested using existing files, that were formerly created for the current compiler, and also using files I created for testing purposes.
|
|
|
British VS. American English – A comparative study
Ohrazda, David ; Šťastná, Dagmar (referee) ; Sedláček, Pavel (advisor)
Tato bakalářská práce je zaměřena na porovnání rozdílů Britské a Americké angličtiny, dvou nejrozšířenějších variací anglického jazyka, který je po celém světě využíván ať už jako mateřský jazyk nebo vyučovaný druhý jazyk pro snazší mezinárodní komunikaci. Práce se stručně zabývá historií jazyka a následně rozebírá rozdíly v oblastech gramatiky, výslovnosti a slovníku s příklady dané problematiky. Práce rovněž pojednává o kulturních vlivech, které ovlivnily vývoj jazyka. Pro práci jsem použil knižní a internetové zdroje. Hlavním cílem bakalářské práce je poskytnout a ukázat jakým způsobem se jeden jazyk může lišit na základě odlišné národnosti.
|
|
|
New Versions of Jumping Automata
Ošmera, Lubomír ; Kocman, Radim (referee) ; Meduna, Alexandr (advisor)
The main goal of this thesis is introduction and investigation of extended version of jumping automata. These versions are specified by strictly size and direction of jump. This thesis examine their power and perform comparison with other automata types. Also there are shown equivalent grammar models. Main motivation for this thesis are research and effort to improve some features of general jumping finite automata. This work consider using this automata types for specific language families and syntactic analysis process.
|
|
|
CSS Object Model in Java
Švercl, Jan ; Bartík, Vladimír (referee) ; Burget, Radek (advisor)
This thesis concerns itself with the problems of manipulation with Cascading Style Sheets. The first aim is to create a library for manipulation with Cascading Style Sheets - an object interface of Cascading Style Sheet is proposed, a parser is generated by means of an appliance of JavaCC, the implementation of interface is completed and as a whole connected to a functional unit. The library enables reading Cascading Style Sheet and its transfer into an object representation, editing and subsequently exporting back to the text file. The second part of the thesis deals with the implementation of library for assign property values - every (X)HTML document is formed by the tree of elements to which the rules are consequently searched for in CSS and their declarations are asigned in the correct order. In conclusion of the thesis the DEMO application, which illustrates the possibilities of both libraries and facilitates performing of experiments or testing, is described. Hereafter the technique of profiling, which enables to find out the efficiently demanding passages, which can be optimised further, in the source code, is shown.
|
|
|
New Versions of Translation Automata
Baláž, Miroslav ; Klobučníková, Dominika (referee) ; Meduna, Alexandr (advisor)
This thesis does research on new version of translation automata. It takes closer look at existing pushdown transcuders and regulated grammar. Combining these two concepts together which creates new regulated pushdown transcuder as a new form of translation automata. Examine computational power of regulated grammar and tests its usage combined with transcuder and test usablity of this new defined regulated transcuder in implementation for translating input source code.
|
guest ::
