|
|
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.
|
|
| |
|
|
Evolutionary Optimization of Control Algorithms
Weisser, Roman ; Šeda, Miloš (referee) ; Zelinka,, Ivan (referee) ; Ošmera, Pavel (advisor)
The dissertation thesis deals with Evolution optimization of control algorithms. The first part of the thesis describes the principles and partial methods of evolution optimization methods especially those used in two-level transplant evolution method. Later the grammatical evolution method is described, which modified algorithm became impulse for creation of transplant evolution method. The transplant evolution method and its two-level modification are new evolutionary algorithms proposed in this work, which were used for optimization of structure and parameters of general controllers control algorithms. The transplant evolution algorithm and its extended two-level modification are described in detail in next chapters. The proper settings of evolutionary algorithms are important for minimization the time of optimization and for finds results approaching the global optimum. For proper setting the parameters of differential evolution was created meta-evolution algorithm that is described in chapter named meta-evolution. The basic concepts of control, chosen methods of system identification and controller parameters settings are described in next part. This part describes algorithms of digital controllers and some specific methods uses in digital control. The demonstrations of control algorithm optimizations of various types of controllers are showed in experimental part. The optimized algorithms of general controllers are compared with various types of PSD controllers which were set by various algebraic methods or differential evolution for various models of systems. In the conclusion of this work is stated a recommendation for further development of evolutionary optimization of controllers are focusing on parallel and distributed computing.
|
|
|
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.
|
guest ::
