Now showing items 1-1 of 1

    • Automatová knihovna - Stromové automaty a algoritmy nad stromy 

      Author: Plachý Štěpán; Supervisor: Trávníček Jan; Opponent: 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., 2015-06-08)
      Práce se zabývá konečnými stromovými automaty, což je výpočetní model pro zpracování regulárních stromových jazyků, a jejich implementací v projektu Automatová knihovna. V práci jsou navrženy a implementovány datové struktury ...