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

      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., 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 ...