Design and testing of deterministic, non-deterministic, finite automatons, or with epsilon transitions, automata can be designed using a tabular representation allowing visualization of the graphic representation, chain tests to validate the proper functioning of the automatons, convert the automatons of a representation to another, minimize an AFD. In addition to being able to work with Regular Expressions (ER) converting an ER to its equivalent finite automaton or vice versa.
 
It supports all types of representation for a regular language:
- Finite automata (AF)
- Deterministic finite automatons (AFD),
- Finite non-deterministic automatons (AFN)
- Finite non-deterministic automatons with epsilon transitions (AFN- ε)
- Regular expressions (ER)
 
 
The application is able to perform:
• Design AFD, AFN and AFN- ε from the tabular representation and visualize their corresponding graphic representation.
• Validate any type of error when designing an AF.
• Save an AF to a file with an .af extension that can be opened from any device with the application
• Load an AF that was designed from the application regardless of the device.
• Validate that an ER does not contain syntax errors
• Convert any ER to an AFN-ε, applying the structural induction algorithm.
• Convert any AF to an ER, applying the state elimination algorithm.
• Convert any AFN to an AFD, applying the subset construction algorithm.
• Convert any AFN- ε to an AFD by applying the subset construction and closing algorithm with respect to epsilon.
• Convert any AFD to a minimum AFD by applying the set minimization algorithm.
• Allow to introduce groups of chains to evaluate if the designed automaton accepts or rejects them.