Efficient Implementation for Deterministic Finite Tree Automata Minimization
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 s...
Main Authors: | , |
---|---|
Format: | Article |
Language: | English |
Published: |
University of Zagreb Faculty of Electrical Engineering and Computing
2016-12-01
|
Series: | Journal of Computing and Information Technology |
Subjects: | |
Online Access: | http://cit.fer.hr/index.php/CIT/article/view/2867/2107 |