1) textual substitution
文本代换
2) primitive substitution
本原代换
1.
This paper takes records fragmentarily on substitutions and the sequences produced by those substitutions,in which mainly on the invertible substitution,primitive substitution and the directed graphs of primitive substitutive sequences.
本文对代换以及由代换生成的序列,主要是可逆代换以及本原代换和本原代换序列的有向图刻画做一些零星的记述。
6) the codes of the text
文本代码
补充资料：代换法则
代换法则
substitution rule
代换法则[s一山stituti叨n此:，10及eT阴oB阴np姗加]，亦称代换规则 逻辑一数学演算中的推导法则(derjvation rLde)之一代换法则有各种不同形式.例如，在命题演算(proposit，0，1:LI ealculus)中，代换法则是用一个公式代换命题变兀在命题公式中的所有的出现.在谓词演算戈Pfe山cate calculus)中，它是:a)用一个公式代换谓词公式中的谓词变元(predieatev::riable)(这里需要遵守一系列关于个体变元出现的限制以避免变元碰撞(二1llable collision)，即出现在公式中的自由变元通过代换变为约束变元);b)项的代换法则是用一个项代换渭同公式中相应类型的个体变元的自由出现(这里也必须避兔变兀碰撞).
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条