|
|
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í.
|
|
|
L-Systems and Their Applications in Computer Graphics
Sojma, Zdeněk ; Čermák, Martin (referee) ; Koutný, Jiří (advisor)
This Bachelor's thesis describes deterministic context-free L-systems (D0L-systems), which function is parallel rewriting symbols in string for purpose of modeling plant-like structures, mainly plant leaves. Next it shows how to use such L-systems in computer graphics and explains usage of stochastic L-systems. They effect topology and geometry of plant by randomizing interpretation of the L-system and allow us to generate whole class of respectively different but still simile leaves. L-system interpreter is implemented in .NET framework with OpenGL library.
|
|
|
L Systems and Their Applications
Koutný, Jiří ; Goldefus, Filip (referee) ; Meduna, Alexandr (advisor)
This master thesis describes deterministic context-free L-systems and its context in procedural modeling, especially in fractal geometry, deals with rewriting technique and its usage for modeling structures similar to plants. Further it describes more complex types of L-systems, especially their context and parametric variations, and shows usage of L-systems in computer graphics and describes its usage for procedural modeling of architecture. At the end of this thesis there are described some other possibilities of usage procedural modeling with L-systems and introduced some extensions of rewriting rules, which will be subject of future research.
|
|
|
Procedural Vegetation Generation
Zuzaňák, Ondřej ; Milet, Tomáš (referee) ; Kobrtek, Jozef (advisor)
This Bachelor's thesis deals with procedural generation of vegetation using L-systems. It represents procedural generation as a means for creating models of plants. Describes the different types of L-systems and its use in computer graphics. The functional output of this work is to implement an algorithm for generating models of plants in 3D space. The result is visualized using the OpenGL graphics library.
|
|
|
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í.
|
|
|
André Lefevere and his Manipulation School
Šmrha, Jan ; Jettmarová, Zuzana (advisor) ; Špirk, Jaroslav (referee)
This theoretical and historiographical thesis examines the theoretical work of the Translation Studies scholar André Lefevere. It focuses primarily on the analysis of Lefevere's work in the context of the development of Translation Studies (particularly in connection with the development of Descriptive Translation Studies, the formation of the "Manipulation School" and the cultural and sociological turns in Translation Studies). The paper covers Lefevere's theoretical underpinnings, the gradual development of his theoretical model and his contribution to the development of the discipline, with special regard to the integration of sociocultural aspects into translation research. Also included is an overview of the most significant critical responses to Lefevere's work and of the applications of his model in practical research.
|
|
|
L-Systems and Their Applications in Computer Graphics
Sojma, Zdeněk ; Čermák, Martin (referee) ; Koutný, Jiří (advisor)
This Bachelor's thesis describes deterministic context-free L-systems (D0L-systems), which function is parallel rewriting symbols in string for purpose of modeling plant-like structures, mainly plant leaves. Next it shows how to use such L-systems in computer graphics and explains usage of stochastic L-systems. They effect topology and geometry of plant by randomizing interpretation of the L-system and allow us to generate whole class of respectively different but still simile leaves. L-system interpreter is implemented in .NET framework with OpenGL library.
|
|
|
L Systems and Their Applications
Koutný, Jiří ; Goldefus, Filip (referee) ; Meduna, Alexandr (advisor)
This master thesis describes deterministic context-free L-systems and its context in procedural modeling, especially in fractal geometry, deals with rewriting technique and its usage for modeling structures similar to plants. Further it describes more complex types of L-systems, especially their context and parametric variations, and shows usage of L-systems in computer graphics and describes its usage for procedural modeling of architecture. At the end of this thesis there are described some other possibilities of usage procedural modeling with L-systems and introduced some extensions of rewriting rules, which will be subject of future research.
|
|
|
Procedural Vegetation Generation
Zuzaňák, Ondřej ; Milet, Tomáš (referee) ; Kobrtek, Jozef (advisor)
This Bachelor's thesis deals with procedural generation of vegetation using L-systems. It represents procedural generation as a means for creating models of plants. Describes the different types of L-systems and its use in computer graphics. The functional output of this work is to implement an algorithm for generating models of plants in 3D space. The result is visualized using the OpenGL graphics library.
|
guest ::
