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.
随便看	wiskostatin的意思 wiskott的意思 wiskottaldrichsyndrome的意思 Wiskott aldrich syndrome的意思 wisks的意思 Wisla的意思 wislanyzalew的意思 Wisler的意思 Wisley的意思 wisling的意思 wisllisam is的意思 wisly的意思 Wismar的意思 Wismarbucht的意思 Wismar的意思 wisment的意思 wismut的意思 Wismutantimon的意思 wismuth的意思 Wismuthglanz的意思 Wismuthspiegel的意思 WISN的意思 wisnand的意思 Wisner的意思 wisneski的意思