Efficient Implementation for Deterministic Finite Tree Automata Minimization

Autor: Younes Guellouma, Hadda Cherroun
Jazyk: angličtina
Rok vydání: 2016
Předmět:
Zdroj: Journal of Computing and Information Technology, Vol 24, Iss 4, Pp 311-322 (2016)
Druh dokumentu: article
ISSN: 1330-1136
1846-3908
DOI: 10.20532/cit.2016.1002867
Popis: 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(n3 log(n)) where n is the DFTA size.
Databáze: Directory of Open Access Journals