We propose a construction of rational tree expression from finite tree automata. First, we
define rational expression equation systems and we propose a substitution based method to …

Stromové indexování je problém vyhledávání určitého typu dotazů v předzpracovaných
datech, které mají tvar stromové struktury. Tento problém existuje v mnoha variantách …