Search
Abstract
We describe an algorithm that allows the incremental addition or removal of unranked ordered trees to minimal frontier-to-root deterministic tree automaton (DTA). The algorithm takes a tree t and a minimal DTA A as input; it outputs a minimal DTA A' which accepts the language L(A) accepted by A incremented (or decremented) with the tree t. The algorithm can be used to efficiently maintain dictionaries which store large collections of trees or tree fragments.Opisujemy algorytm pozwalający na przyrostowe dodawanie bądź usuwanie drzew o nieustalonej krotności symboli etykietujących wierzchołki to minimalnego, wstępującego, deterministycznego, skończonego automatu drzewiastego (DTA). Algorytm ma na wejściu drzewo t i minimalny DTA A. Na wyjściu pojawia się automat A', który rozpoznaje język L(A) automatu A rozszerzony o drzewo t. Algorytm może być użyty do wydajnej pielęgnacji słowników przechowujących duże zbiory drzew lub fragmentów drzew.
Authors (3)
Cite as
Full text
full text is not available in portal
Keywords
Details
- Category:
- Articles
- Type:
- artykuł w czasopiśmie wyróżnionym w JCR
- Published in:
-
ALGORITHMICA
no. 55,
pages 95 - 110,
ISSN: 0178-4617 - Language:
- English
- Publication year:
- 2009
- Bibliographic description:
- Carrasco R., Daciuk J., Forcada M.: Incremental construction of Minimal Tree Automata [online]// ALGORITHMICA. -Vol. 55, nr. iss. 1 September (2009), s.95-110
- Verified by:
- Gdańsk University of Technology
seen 112 times
Recommended for you
An implementation of deterministic tree automata minimization
- R. Carrasco,
- J. Daciuk,
- M. Forcada