Title: String-Rewriting Systems