Prohlížení dle autora "Pecka Tomáš"
-
Automatová knihovna - převody mezi regulárními výrazy, regulárními gramatikami a konečnými automaty
Autor: Pecka Tomáš; 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) -
Automatová knihovna - Komprese dat
Autor: Parma Jan; 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í ... -
Debugger pro Tiny86
Autor: Filip Gregor; Vedoucí práce: Máj Petr; 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-09)Programátoři často potřebují kontrolovat stav svých programů za běhu. Právě pro tento účel byl vytvořen speciální nástroj zvaný debugger. Přestože je tento nástroj velmi rozšířen, málokdo ví, jak přesně funguje. Částečně ... -
Debugger SECD virtuálního stroje
Autor: Vojtěch Rozhoň; Vedoucí práce: Máj Petr; 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-16)Práce popisuje implementaci debuggeru SECD stroje, sestávajícího se z SECD virtualního stroje a frontendové části. Programovací jazyk tiny-lisp je navržen jako jazyk, jehož programy budou interpretovány SECD virtuálním ... -
Evoluce webového rozhraní knihovny algoritmů
Autor: Hana Litavská; 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ů
Autor: Ondřej Štorc; 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á- ... -
Implementace automatových algoritmů na hledání jader
Autor: Veronika Dolanská; Vedoucí práce: Guth Ondřej; 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., 2020-06-20)Tato bakalářská práce se věnuje vyhledávání pravidelností v řetězcích, konkrétně vyhledávání jader. Obsahuje popis algoritmů vyhledávajících přesná i přibližná jádra s určitou maximální Hammingovou vzdáleností. Algoritmy ... -
Implementace automatových algoritmů na hledání pravidelností
Autor: Irina Shushkova; Vedoucí práce: Guth Ondřej; 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-19)Předmětem této práce je seznámení s algoritmy řešícími problém hledání pravidelností v textech. Konkrétně se v práci probírají přesná pokrytí řetězců a přibližná pokrytí řetězců pro Hammingovu vzdálenost. Všechny algoritmy ... -
Implementace automatových algoritmů na hledání rozšířených pokrytí
Autor: Rajmund Hubert Hruška; Vedoucí práce: Guth Ondřej; 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., 2020-06-20)Táto práca sa zaoberá popisom automatových algoritmov na hľadanie približných rozšírených pokrytí a uvoľnených približných rozšírených pokrytí a ich implementáciou do knižnice algoritmov ALT. Maximálny počet chýb, ktorým ... -
Indexování XML dokumentů pomocí automatů: výběr neznámých uzlů
Autor: Karzhenkova Maria; Vedoucí práce: Šestáková Eliška; 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-13)Tato práce je součástí projektu "Indexování XML dokumentů pomocí automatů". Popisuje existující metody pro indexování XML dokumentů, které jsou založeny na teorii automatů, a jejich rozšíření, za účelem umožnění efektivního ... -
Knihovna algoritmů ALT - webové rozhraní
Autor: Michael Vrána; 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 ... -
Konstrukce zásobníkového automatu přijímajícího jazyk daný regulárním stromovým výrazem
Autor: Pecka Tomáš; 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, ... -
Konverze stromových konečných automatů na stromové regulární výrazy metodou eliminace stavů
Autor: Tomáš Dejmek; 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 ... -
Modulární překladač pro TinyC
Autor: Martin Prokopič; Vedoucí práce: Máj Petr; 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-09)Tato práce popisuje překladač jazyka tinyC do assemberu virtuálního stroje tiny86 (oboje používané v předmětu NIE-GEN). Překladač je implementován v jazyce Scala, je napojen na existující nástroje používané v předmětu, ... -
Návrh a implementace modifikací algoritmu protisměrného vyhledávání ve stromech
Autor: Červený Kamil; 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 ... -
Otevřená data Pražské integrované dopravy s historií
Autor: Alexander Žibrita; Vedoucí práce: Pecka Tomáš; Oponent práce: Guth Ondřej
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-22)Tato bakalářská práce se zabývá vývojem softwaru sloužícího k zpracovávání a uchovávání otevřených dat Pražské integrované dopravy a následnému poskytování statistických přehledů nad těmito daty. Analýza řeší způsoby ... -
Překladač jazyka kontrol do SQL
Autor: Otto Šleger; Vedoucí práce: Plachý Štěpán; 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., 2024-02-08)Tato bakalářská práce se zabývá analýzou, návrhem a implementací překladače jazyka kontrol navrženého Českou národní bankou. Tento překladač umožňuje překlad jazyka kontrol do jazyka SQL, který je následně možné spustit ... -
Převod konečných stromových automatů na stromové regulární výrazy
Autor: Jakub Doupal; 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é ... -
Přibližná pokrytí textových řetězců
Autor: Vendula Švastalová; Vedoucí práce: Guth Ondřej; 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., 2021-08-26)Tato práce staví na publikaci Kędzierského and Radoszewského, kteří představili vylepšené polynomiální algoritmy řešící problém k-přibližných pokrytí řetězců nad Hammingovou, Levenshteinovou a váženou editační vzdáleností. ... -
Quick search vyhledávání ve stromech
Autor: Cvach Michal; 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 ...