|
|
Transducer Systems and Their Applications
Lupták, Filip ; Krčmář, Radim (referee) ; Meduna, Alexandr (advisor)
This thesis defines a new formal model „transducer system." Transducer system is composed of a number of finite transducers, which cooperate. The thesis examines expressive power of this formal model and shows that transducer system is more powerful than isolated finite transducer. This model is then used to design a parser of arithmetic expressions, which translates them to postfix notation.
|
|
|
General Grammars: Normal Forms with Applications
Klobučníková, Dominika ; Krčmář, Radim (referee) ; Meduna, Alexandr (advisor)
This thesis deals with the topic of unrestricted grammars, normal forms, and their applications. It focuses on context-sensitive grammars as their special cases. Based on the analysis of the set, an algorithm was designed using the principles of the Cocke-Younger-Kasami algorithm to make a decision of whether an input string is a sentence of a context-sensitivegrammar. The final application, which implements this algorithm, works with context-sensitive grammars in the Penttonen normal form.
|
|
|
Language for Procedural Generation
Dobiáš, Roman ; Káčerik, Martin (referee) ; Milet, Tomáš (advisor)
This thesis deals with designing and implementing a library with language devoted to procedural generation extending L-systems. Emphasis is put on practical usage of the library which is aimed to be used by a wide spectrum of real-world applications, especially by 3D rendering engines and editors. The thesis covers theory of procedural generation, L-systems, theory of compilers, and design and implementation of the library. In conclusion, case study projects are introduced which embed the library and numerous examples are given.
|
|
|
Parsing Based on State Grammars
Svatý, Lukáš ; Vrábel, Lukáš (referee) ; Solár, Peter (advisor)
Syntax-directed translation based on state grammars is introduced in this bachelor's thesis. Theoretical section of this thesis is focused on the introduction of theoretical models that are necessary for understanding syntax analysis based on state grammars. The most important theoretical formal models in this thesis include deep pushdown transducer and translation grammar based on state grammar, which can be used in syntax analysis. Practical section of this thesis is focused on bottom-up syntax analysis using state grammar and its implementation.
|
|
|
Language for Procedural Generation
Dobiáš, Roman ; Káčerik, Martin (referee) ; Milet, Tomáš (advisor)
This thesis deals with designing and implementing a library with language devoted to procedural generation extending L-systems. Emphasis is put on practical usage of the library which is aimed to be used by a wide spectrum of real-world applications, especially by 3D rendering engines and editors. The thesis covers theory of procedural generation, L-systems, theory of compilers, and design and implementation of the library. In conclusion, case study projects are introduced which embed the library and numerous examples are given.
|
|
|
General Grammars: Normal Forms with Applications
Klobučníková, Dominika ; Krčmář, Radim (referee) ; Meduna, Alexandr (advisor)
This thesis deals with the topic of unrestricted grammars, normal forms, and their applications. It focuses on context-sensitive grammars as their special cases. Based on the analysis of the set, an algorithm was designed using the principles of the Cocke-Younger-Kasami algorithm to make a decision of whether an input string is a sentence of a context-sensitivegrammar. The final application, which implements this algorithm, works with context-sensitive grammars in the Penttonen normal form.
|
|
|
Transducer Systems and Their Applications
Lupták, Filip ; Krčmář, Radim (referee) ; Meduna, Alexandr (advisor)
This thesis defines a new formal model „transducer system." Transducer system is composed of a number of finite transducers, which cooperate. The thesis examines expressive power of this formal model and shows that transducer system is more powerful than isolated finite transducer. This model is then used to design a parser of arithmetic expressions, which translates them to postfix notation.
|
|
|
Parsing Based on State Grammars
Svatý, Lukáš ; Vrábel, Lukáš (referee) ; Solár, Peter (advisor)
Syntax-directed translation based on state grammars is introduced in this bachelor's thesis. Theoretical section of this thesis is focused on the introduction of theoretical models that are necessary for understanding syntax analysis based on state grammars. The most important theoretical formal models in this thesis include deep pushdown transducer and translation grammar based on state grammar, which can be used in syntax analysis. Practical section of this thesis is focused on bottom-up syntax analysis using state grammar and its implementation.
|
guest ::
