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.

Project Activity

See All Activity >

Follow TATOWA

TATOWA Web Site

Other Useful Business Software
Host LLMs in Production With On-Demand GPUs Icon
Host LLMs in Production With On-Demand GPUs

NVIDIA L4 GPUs. 5-second cold starts. Scale to zero when idle.

Deploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
Try Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of TATOWA!

Additional Project Details

Registered

2016-06-07