Systems of equations over a finitely generated free monoid having an effectively findable equivalent finite subsystem