
String rewriting
A string rewriting system is a simple model of computation. A program is defined by a list of rules of the form s → t, indicating that the substring s should be replaced by the string t. Here is a program that uses 3 rules to sort a string of a’s and b’s and c’s: Reset Open in editor ↗ Note that the program always applies the first applicable rule in the first position possible. ...




