文字列書き換え系
文字列書き換え系(英: String rewriting system)は、与えられた文字列に所定の書き換え規則を適用して変換を行う置換系の一種であり、ポスト正準系の特殊な型である。