Hledat
Zobrazují se záznamy 1-3 z 3
Konstrukce zásobníkového automatu přijímajícího jazyk daný regulárním stromovým výrazem, Construction of a Pushdown Automaton Accepting a Language Given by Regular Tree Expression
; 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., 2016-05-09)
Tato práce studuje regulárni stromové výrazy, formalismus pro popis regulárnich stromových jazyků. Hlavnim přinosem práce je nový algoritmus pro převod regulárniho stromového výrazu na ekvivalentni zásobnikový automat, ...
Převod konečných stromových automatů na stromové regulární výrazy, Finite tree automaton to tree regular expression conversion
; Vedoucí práce: Trávníček Jan; Oponent práce: 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é ...
Konverze stromových konečných automatů na stromové regulární výrazy metodou eliminace stavů, Finite tree automata to regular tree expressions conversion by removal of states
; Vedoucí práce: Trávníček Jan; Oponent práce: 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-09)
Tato diplomová práce se zabývá stromovými jazyky. Stromový jazyk se skládá z množiny stromů, podobně jako textový jazyk se skládá z množiny textových řetězců. Jelikož byla dokázána rovnost mezi třídou jazyků přijímaných ...