Browsing Disertační práce - 18000 by Subject "real-time height-deterministic PDA"
Now showing items 1-1 of 1
-
O determinizaci zásobníkových automatů a konverzi regulárních stromových výrazů na determinizovatelné zásobníkové automaty
; Supervisor: Janoušek Jan; Opponent: 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 ...