Hledat
Zobrazují se záznamy 1-1 z 1
O determinizaci zásobníkových automatů a konverzi regulárních stromových výrazů na determinizovatelné zásobníkové automaty, On Determinisation of Pushdown Automata and Conversion of Regular Tree Expressions to Determinisable Pushdown Automata
; 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 ...