In theoretical computer science and mathematical logic a string rewriting system, historically called a semi-Thue system, is a rewriting system over strings from a alphabet. Wikipedia