de
en
Schliessen
Detailsuche
Bibliotheken
Projekt
Impressum
Datenschutz
zum Inhalt
Detailsuche
Schnellsuche:
OK
Ergebnisliste
Titel
Titel
Inhalt
Inhalt
Seite
Seite
Im Dokument suchen
Reh, Carl Philipp: Algorithmic aspects of grammar-compressed trees. 2019
Inhalt
Zusammenfassung (English)
Zusammenfassung (Deutsch)
Contents
1. Introduction
2. Algebras and SLPs
2.1 Algebras for Trees and Forests
2.2 Equality Checks
3. Normal form SLPs
3.1 Factorization
3.2 Normal form for FSLPs
4. Navigation
4.1 Navigating SSLPs
4.2 Navigating TSLPs
4.3 Navigating FSLPs
4.4 Subtree equality check for trees
4.5 Subtree equality check for forests
5. Relative succinctness
5.1 Comparison with top dags
5.2 Comparison with fcns
6. Testing equality modulo associativity and commutativity
6.1 Associative symbols
6.2 Commutative symbols
7. Unordered forests
7.1 Lower Bounds for nodes/edges of DAGs
7.2 Upper Bound for edges of DAGs
7.3 Upper Bound for nodes of DAGs
7.4 FSLPs for unordered forests
7.5 TSLPs for unordered trees
7.6 Experimental Results
8. Evaluating Automata
8.1 Forest automata
8.2 Visibly one-counter automata
9. Optimal worst-case compression
9.1 Modified BU-Shrink
9.2 DAG-version of the algorithm
10. Future Work
Bibliography
Publications