Index of /trunk/examples/Automata/regression/ta

 Name                                 Last modified      Size  Description
 Parent Directory                                          -   
 taIntersection.ats                   2017-11-16 06:20  3.4K  
 taDeterminize.ats                    2017-11-16 06:20  3.2K  
 taMinimize.ats                       2017-11-16 06:20  3.0K  
 taComplement.ats                     2017-11-16 06:20  2.9K  
 ListsAndTrees.ats                    2017-11-16 06:20  2.2K  
 taSimple.ats                         2017-11-16 06:20  1.1K  
 taEmptiness.ats                      2017-11-16 06:20  643   
 ex1.ats                              2017-11-16 06:20  592   
 minimize_hopcroft_01.ats             2018-06-23 12:35  552   
 taTest.ats                           2017-11-16 06:20  498