stsysString rewriting system (semi-Thue system)stringsemi-Thue systemword problemcompletionrewritingSRS1.0.0 • Published 4 years ago