Browsing Diplomové práce - 18101 by Subject "automata library"
Now showing items 1-1 of 1
-
Převod konečných stromových automatů na stromové regulární výrazy
; Supervisor: Trávníček Jan; Opponent: Pecka Tomáš
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-06)Tato diplomová práce studuje regulární stromové výrazy a metodu převodu ze stromového automatu na regulární stromový výraz pomocí rovnic. Daná metoda je poté implementována v knihovně algoritmů vyvíjené na Katedře teoretické ...