Hledat
Zobrazují se záznamy 1-10 z 24
Automatová knihovna - determinizace konečných a zásobníkových automatů, Automatová knihovna - determinisation of finite and pushdown automata
; Vedoucí práce: Trávníček Jan; Oponent práce: Polách Radomír (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)
Regulární stromový výraz a jeho derivace, Regular tree expression and its derivatives
; Vedoucí práce: Polách Radomír; Oponent práce: Trávníček Jan
Práce představuje novou metodu pro rozpoznávání stromových (nebo i bezkontextových) jazyků za použití derivací regulárních stromových výrazů. Tato metoda je zobecněním převodu regulárních výrazů na konečný automat pomocí ...
Implementace nástroje pro licencování aplikací v jazyce Java, Implementation of application licencing tool in Java
; Vedoucí práce: Trávníček Jan; Oponent práce: Polách Radomír (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-07-24)
Přední část LLVM pro jazyk Scheme, LLVM frontend for the Scheme language
; Vedoucí práce: Polách Radomír; Oponent práce: Trávníček Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-05-09)
Tato práce se zabývá problémem překladu programovacího jazyka Scheme do nativního kódu a zkoumá možnost vytvoření nové přední části překladače pro jazyk Scheme s využitím LLVM. Dále předkládá návrh tohoto překladače a jeho ...
Konstrukce zásobníkového automatu přijímajícího jazyk daný regulárním stromovým výrazem, Construction of a Pushdown Automaton Accepting a Language Given by Regular Tree Expression
; Vedoucí práce: Trávníček Jan; Oponent práce: Polách Radomír (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-05-09)
Tato práce studuje regulárni stromové výrazy, formalismus pro popis regulárnich stromových jazyků. Hlavnim přinosem práce je nový algoritmus pro převod regulárniho stromového výrazu na ekvivalentni zásobnikový automat, ...
Automatová knihovna - Grafy a grafové algoritmy, Automata library - graphs and graph algorithms
; Vedoucí práce: Polách Radomír; Oponent práce: Trávníček Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-05-18)
Tato práce se zabývá algoritmy z teorie grafů a reprezentací grafů v paměti počítače. Cílem je nastudovat a implementovat vybrané grafové algoritmy a integrovat je do knihovny zvané Automata Library (zkráceně ALib), vyvíjené ...
Integrace syntaxe založené na jazyku Python pro Clang/LLVM překladač jazyka C++, Python language like syntax integration for the Clang/LLVM compiler of C++
; Vedoucí práce: Polách Radomír; Oponent práce: Trávníček Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-01-14)
Tato práce se zabývá návrhem a implementací rozšíření jazyka C++ pro překladač Clang/LLVM. Cílem tohoto rozšíření je zjednodušení a zlepšení čitelnosti. Hlavní inspirací jsou jazyky Python a CoffeeScript. Obsahem práce je ...
Návrh a implementace jazyka s jednoduchou, bezpečnou a efektivní správou paměti, Design and implementation of language with simple, safe and effective memory management
; Vedoucí práce: Trávníček Jan; Oponent práce: Polách Radomír (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-05-15)
Jednoduchosť použitia, efektívne využívanie prostriedkov, a bezpečnosť voči poškodeniu pamäte sú dôležité vlastnosti správ pamätí. Pre ich dosiahnutie sa práca zameriava na správu pamäte založenú na regiónoch . V práci ...
Podpora pro tvorbu semestrální práce z předmětu Programovací jazyky a překladače, Support for creating semestral work of the Programming languages and compilers course
; Vedoucí práce: Trávníček Jan; Oponent práce: Polách Radomír (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-05-15)
Tato bakalářská práce se zabývá tvorbou dokumentace pro semestrální práci z předmětu Programovací jazyky a překladače na Fakultě informačních technologií ČVUT a aktualizací dodávaných materiálů tak, aby využívaly aktuální ...
Minimalizace stromových a zásobníkových automatů, Tree and pushdown automata minimisation
; Vedoucí práce: Trávníček Jan; Oponent práce: Polách Radomír (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-05-09)
Práce se zabývá vztahem mezi konečnými stromovými automaty a zásobníkovými automaty, a jejich minimalizací. Konečné Stromové automaty jsou rozšířením konečných automatů a zpracovávají regulární stromové jazyky. V práci ...