ČVUT DSpace
  • Search DSpace
  • Čeština
  • Login
  • Čeština
  • Čeština
Untitled 
  •   ČVUT DSpace
  • Czech Technical University in Prague
  • Faculty of Information Technology
  • Untitled
  • Czech Technical University in Prague
  • Faculty of Information Technology
  • Untitled
JavaScript is disabled for your browser. Some features of this site may not work without it.

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-3 of 3

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Author Asc
  • Authort Desc
  • Advisor Asc
  • Advisor Desc
  • Oponnet Asc
  • Opponet Desc
  • Issue Date Asc
  • Issue Date Desc
  • Accepted Date Asc
  • Accepted Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100

Minimalizace stromových a zásobníkových automatů, Tree and pushdown automata minimisation 

Plachý Štěpán; Supervisor: Trávníček Jan; Opponent: 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., 2017-05-09)
Práce se zabývá vztahem mezi konečnými stromovými automaty a zásobníkovými automaty, a jejich minimalizací. Konečné Stromové automaty jsou rozšířením konečných automatů a zpracovávají regulární stromové jazyky. V práci ...

Automatová knihovna - Stromové automaty a algoritmy nad stromy, Automata library - tree automata and algorithms on trees 

Plachý Štěpán; Supervisor: Trávníček Jan; Opponent: 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., 2015-06-08)
Práce se zabývá konečnými stromovými automaty, což je výpočetní model pro zpracování regulárních stromových jazyků, a jejich implementací v projektu Automatová knihovna. V práci jsou navrženy a implementovány datové struktury ...

Quantum leap vyhledávání v linearizovaných stromech, Quantum leap pattern matching in linearized trees 

Josef Erik Sedláček; Supervisor: Trávníček Jan; Opponent: Plachý Štěpán (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-01-29)
Práce se zabývá vyhledáváním stromových vzorů ve stromech. Konkrétně se pracuje s linearizovanými stromy v prefixové notaci. Práce přejímá myšlenku algoritmu Quantum Leap pro vyhledávání v řetězcích a využívá ji pro ...

České vysoké učení technické v Praze copyright © 2016 

DSpace software copyright © 2002-2016  Duraspace

Contact Us | Send Feedback
Theme by 
@mire NV
 

 

Useful links

CTU in PragueCentral library of CTUAbout CTU Digital LibraryResourcesStudy and library skillsResearch support

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CommunityBy Issue DateAuthorsTitlesSubjects

My Account

Login

Discover

Author
Plachý Štěpán (3)
Trávníček Jan (3)
Polách Radomír (2)Josef Erik Sedláček (1)Subjectfinite tree automaton, ranked labeled ordered tree, regular tree language, random tree generator, determinization (1)konečný stromový automat, ohodnocený označený uspořádaný strom, regulární stromový jazyk, generátor náhodných stromů, determinizace (1)Linearizace stromů (1)minimalizace, stromový jazyk, konečný stromový automat, zásobníkový automat, převod stromového a zásobníkového automatu (1)minimization, tree language, finite tree automaton, pushdown automaton, finite tree automaton and pushdown automaton conversion (1)Quantum Leap algorithm (1)Quantum Leap algoritmus (1)Tree linearisation (1)Tree pattern matching (1)Vyhledávání vzorů ve stromech (1)... View More

České vysoké učení technické v Praze copyright © 2016 

DSpace software copyright © 2002-2016  Duraspace

Contact Us | Send Feedback
Theme by 
@mire NV