Semi-Thue system

（重定向自Thue system）

In theoretical computer science and mathematical logic a string rewriting system (SRS), historically called a semi-Thue system, is a rewriting system over strings from a (usually finite) alphabet. Given a binary relation $R$ between fixed strings over the alphabet, called rewrite rules, denoted by $s\rightarrow t$ , an SRS extends the rewriting relation to all strings in which the left- and right-hand side of the rules appear as substrings, that is $usv\rightarrow utv$ , where $s$ , $t$ , $u$ , and $v$ are strings.

单词	Thue system
释义	Thue system 英语百科 Semi-Thue system （重定向自Thue system） In theoretical computer science and mathematical logic a string rewriting system (SRS), historically called a semi-Thue system, is a rewriting system over strings from a (usually finite) alphabet. Given a binary relation $R$ between fixed strings over the alphabet, called rewrite rules, denoted by $s\rightarrow t$ , an SRS extends the rewriting relation to all strings in which the left- and right-hand side of the rules appear as substrings, that is $usv\rightarrow utv$ , where $s$ , $t$ , $u$ , and $v$ are strings.
随便看	Footbag footbags Footbal foot ball football football ace football air pump football around Football Association Football Association, the football awl football bat Football boot Football boots Football Club Football Coach football coaches football court football court, soccer court footballene footballer ankle footballer footballese Football fan Football Fans