TATOWA

Brought to you by: yanos84

Last Update: 2022-05-14

Get an email when there's a new version of TATOWA

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

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

Rate This Project

User Reviews

Be the first to post a review of TATOWA!

Additional Project Details

Registered

2016-06-07

Report inappropriate content

Recommended Projects

Finite Automata
A package for computations with finite automata (rooted tree automorphisms) for the GAP system, http://www.gap-system.org.
Cellular Automata Renderer
Renders cellular automata.
GraphIL
GraphIL is a graphical editor for the intermediate language, one of the input formalisms of Verics. Verics is a tool for automated verification of Timed Automata and protocols, developed in the Institute of Computer Science of Polish Academy of Sciences.
Cellular Automata
Do experiments to extend knowledge of cellular automata stuff
Automata editor
Automata editor is a vector editor for drawing finite automata according to VauCanSon-G format with tools for working with finite automata such as basic algorithms, exporting transition table to LaTeX format and automata work simulation.