RAIRO-Theor. Inf. Appl.
Volume 43, Number 4, October-December 2009
|Page(s)||779 - 790|
|Published online||29 September 2009|
A perfect hashing incremental scheme for unranked trees using pseudo-minimal automata
Departamento de Lenguajes y Sistemas Informáticos,
Universidad de Alicante, 03071 Alicante, Spain; firstname.lastname@example.org
2 Knowledge Engineering Department, Gdańsk University of Technology, Poland; email@example.com
Accepted: 3 September 2009
We describe a technique that maps unranked trees to arbitrary hash codes using a bottom-up deterministic tree automaton (DTA). In contrast to other hashing techniques based on automata, our procedure builds a pseudo-minimal DTA for this purpose. A pseudo-minimal automaton may be larger than the minimal one accepting the same language but, in turn, it contains proper elements (states or transitions which are unique) for every input accepted by the automaton. Therefore, pseudo-minimal DTA are a suitable structure to implement stable hashing schemes, that is, schemes where the output for every key can be determined prior to the automaton construction. We provide incremental procedures to build the pseudo-minimal DTA and the mapping that associates an integer value to every transition that will be used to compute the hash codes. This incremental construction allows for the incorporation of new trees and their hash codes without the need to rebuild the whole DTA from scratch.
Mathematics Subject Classification: 37E25
Key words: Perfect hashing / deterministic tree automata / pseudo-minimal automata / incremental automata.
© EDP Sciences, 2009
Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.
Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.
Initial download of the metrics may take a while.