文字列書き換え系

文字列書き換え系（英: String rewriting system）は、与えられた文字列に所定の書き換え規則を適用して変換を行う置換系の一種であり、ポスト正準系の特殊な型である。 == 基本的な文字列書き換え系の等価性 == 文字列書き換え系の基本的形式は項書き換え系と本質的に等価である。