Efficient Implementation for Deterministic Finite Tree Automata Minimization
Résumé
We address the problem of deterministic finite tree automata (DFTA) minimization. We describe a new alternative to implement both standard and incremental tree automata minimization using a well-defined graph representing the automaton to be minimized. We show that the asymptotic complexity of the standard implementation is linearithmic and the incremental one is O(n^3 log (n)) where n is the DFTA size.
Citer ce document
Exporter : BibTeX · RIS (Zotero, Mendeley, EndNote)
Accès au document
Texte intégral en lecture en ligne, réservé aux abonnés SPHAERO et aux membres de l'institution. Se connecter
Voir l'article sur le site de la revueLicence et provenance
Licence : CC BY-ND
Notice moissonnée depuis OpenAlex le 26/08/2026. Le document reste hébergé par sa source.
Voir le document à la source →
Auteur(s)
Statistiques
Consultations : 2
Téléchargements : 0