Source: wikibot/semi-thue-system
= Semi-Thue system
{wiki=Semi-Thue_system}
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.