Text this: The 3𝑥+1 Problem as a String Rewriting System