semi-thue-system (pypi): This package is a representation of a string rewriting system, historically called the Semi-Thue System.
Keywords: Semi-Thue|string|rewriting|SRS