Research in the Group Automat and Logic