String Rewriting System (SRS)

From GM-RKB
Jump to navigation Jump to search

A String Rewriting System (SRS) is a formal mathematical system that involves the manipulation and transformation of strings of symbols based on a set of rules.