TATOWA for tree automata to word automata is "D" package for tree automata minimization. Its principal is to transform a given tree automata to a word automata. The minimization of the later coincides with the minimization of the first one.
Follow TATOWA
You Might Also Like
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of TATOWA!