• 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)
    • 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 ...
    • 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 ...
    • 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 ...
    • 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ř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 ...
    • Slovníkové kompresní metody 

      Autor: Matěj Javorka; 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-15)
      Náplní této bakalářské práce je analýza, návrh a implementace slovníkových kompresních metod LZ77, LZ78, LZSS a LZW. V literární rešerši jsou popsány základní pojmy, principy a metody komprese dat. Podrobně se literární ...
    • Transpilátor z jazyka PHP do jazyka Go 

      Autor: Lukáš Simulík; Vedoucí práce: Polách Radomír; 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-25)
      Práce se zabývá tvorbou programu, který převádí projekty pro skriptovací jazyk PHP do jazyka Go. Popisuje historii PHP a jeho vývoj, rozebírá způsoby, kterými lze kód převádět a zrychlovat. Popisuje již existující projekty ...