字符串运算 在计算机科学领域形式语言理论中经常用到各种字符串函数但是符号不同于计算机编程中所用到的某些在理论领域中常用的函数在编程中很少用到本文定义其中一些基本术语