Characterization of Infinite Solutions of Marked and Binary Post Correspondence Problems