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
- Rafael Carrasco,
- dr hab. inż. Jan Daciuk link open in new tab ,
- Mikel Forcada
Additional information
- Category
- Publikacja w czasopiśmie
- Type
- artykuł w czasopiśmie wyróżnionym w JCR
- Language
- angielski
- Publication year
- 2009
