• Minimalizace stromových a zásobníkových automatů 

      Autor: Plachý Štěpán; 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 ...
    • Parallel run of k-local tree automata on GPU 

      Autor: Milan Borový; Vedoucí práce: Plachý Štěpán; Oponent práce: Šimeček Ivan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-06)
      This thesis implements tree pattern matching using deterministic finite tree automata. A work-optimal parallel algorithm exists and has been implemented for EREW PRAM. This algorithm will be optimized for APRAM and ported ...
    • Quantum leap vyhledávání v linearizovaných stromech 

      Autor: Josef Erik Sedláček; Vedoucí práce: Trávníček Jan; Oponent práce: Plachý Štěpán
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-01-29)
      Práce se zabývá vyhledáváním stromových vzorů ve stromech. Konkrétně se pracuje s linearizovanými stromy v prefixové notaci. Práce přejímá myšlenku algoritmu Quantum Leap pro vyhledávání v řetězcích a využívá ji pro ...