• O determinizaci zásobníkových automatů a konverzi regulárních stromových výrazů na determinizovatelné zásobníkové automaty 

      Autor: Radomír Polách; Vedoucí práce: Janoušek Jan; Oponent práce: Meduna Alexander
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-05-30)
      Trees are one of the fundamental and well-studied data structures in Computer Science. Arbology uses pushdown automata (PDAs), which read linearised notations of trees, as its suitable model of computation. Regular tree ...
    • Vyhledávání vzorků ve stromech a indexování stromů za použití automatů zpracovávajících řetězce 

      Autor: Eliška Šestáková; Vedoucí práce: Janoušek Jan; Oponent práce: Meduna Alexander
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-30)
      Problém vyhledávání vzorků ve stromech lze definovat jako vyhledávání všech výskytů vzorku ve vstupním stromě. Tento problém je často připodobňován k problému vyhledávání v řetězcích. Jedním z přístupů používaném při ...