Constructing P system to reduce existence of halting computation to reachability fixed #82