fixes
methods to find finite state group