opraveny generator automatov, testovanie ekvivalencie