Hledat
Zobrazují se záznamy 1-10 z 10
Automatová knihovna - převody mezi regulárními výrazy, regulárními gramatikami a konečnými automaty, Automata library - transformations between ragular expressions, regular grammars and finite automata
; Vedoucí práce: Trávníček Jan; Oponent práce: Baier Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)
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 - Komprese dat, Automata Library -- Data Compression
; Vedoucí práce: Pecka Tomáš; 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-05-16)
Tato bakalářská práce se zabývá implementací kompresních algoritmů LZ77, LZ78 a implementací Huffmanova kódování. Dále analyzuje současné řešení testování již existující Automatové knihovny, které je prováděno pomocí ...
Knihovna algoritmů ALT - webové rozhraní, ALT Algorithm Library - web interface
; Vedoucí práce: Pecka Tomáš; 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., 2020-06-20)
Tato práce se zabývá návrhem a implementací webového GUI pro knihovnu Algorithms Library Toolkit. Toto GUI v podobě webové aplikace znázorňuje jednotlivé algoritmy jako boxy, jejichž výstupy lze dál řetězit do dalších ...
Převod konečných stromových automatů na stromové regulární výrazy, Finite tree automaton to tree regular expression conversion
; Vedoucí práce: Trávníček Jan; Oponent práce: Pecka Tomáš (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-06)
Tato diplomová práce studuje regulární stromové výrazy a metodu převodu ze stromového automatu na regulární stromový výraz pomocí rovnic. Daná metoda je poté implementována v knihovně algoritmů vyvíjené na Katedře teoretické ...
Konverze stromových konečných automatů na stromové regulární výrazy metodou eliminace stavů, Finite tree automata to regular tree expressions conversion by removal of states
; Vedoucí práce: Trávníček Jan; Oponent práce: Pecka Tomáš (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-09)
Tato diplomová práce se zabývá stromovými jazyky. Stromový jazyk se skládá z množiny stromů, podobně jako textový jazyk se skládá z množiny textových řetězců. Jelikož byla dokázána rovnost mezi třídou jazyků přijímaných ...
Návrh a implementace modifikací algoritmu protisměrného vyhledávání ve stromech, Design and implementation of backward tree pattern matching algorithm modifications
; Vedoucí práce: Trávníček Jan; Oponent práce: Pecka Tomáš (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-06-17)
V této práci je navrhnutý nový algoritmus pro vyhledávání ve stromech. Jeho fungování je založeno na myšlence heuristiky good-suffix-shift algoritmu Boyer-Moore pro vyhledávání v řetězcích a poznatcích z existujícího ...
Quick search vyhledávání ve stromech, Quick search tree pattern matching
; Vedoucí práce: Trávníček Jan; Oponent práce: Pecka Tomáš (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-06-17)
Práce se zabývá problémem hledání stromových vzorů ve stromech. V práci je navržena a následně implementována adaptace algoritmu Quick Search pro hledání stromových vzorů ve stromech. Algoritmus je implementován v projektu ...
Evoluce webového rozhraní knihovny algoritmů, Evolution of the web user interface of the algorithm library
; Vedoucí práce: Trávníček Jan; Oponent práce: Pecka Tomáš (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-06-11)
Práce se zaměřuje na další rozvoj webového rozhraní knihovny ALT věnované datovým strukturám a algoritmům z oblasti stringologie, arbologie a částečně grafů. Původní verze webového rozhraní je nejprve analyzována se zaměřením ...
Generovaný parser jazyka pro konzolového rozhraní knihovny algoritmů, Generated parser for the console language of the Algorithms library
; Vedoucí práce: Trávníček Jan; Oponent práce: Pecka Tomáš (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-16)
Tato práce zkoumá proces nahrazení ručně psaného parseru v Algorithms Lib- rary Toolkit novým parserem generovaným pomocí nástroje ANother Tool for Language Recognition 4 (ANTLR4). Práce začíná seznámením čtenáře se zá- ...