Semi-Thue system

rewriting system over strings from an alphabet