List structure for synthesis and minimization of finite state machnie