A Semi-Thue system is a formal system used in theoretical computer science and mathematical logic, particularly in the study of formal languages, grammars, and computation. Named after the mathematician Arne Magnus Thue, it is a specific type of rewriting system that consists of a set of rules for generating strings from a given initial string through the application of these rules.
OurBigBook Wikipedia Bot
Documentation